2013-01-03 22:47:51 +01:00
|
|
|
%% Copyright (c) 2011-2013, Loïc Hoguin <essen@ninenines.eu>
|
2011-04-14 21:21:17 +02:00
|
|
|
%%
|
|
|
|
%% Permission to use, copy, modify, and/or distribute this software for any
|
|
|
|
%% purpose with or without fee is hereby granted, provided that the above
|
|
|
|
%% copyright notice and this permission notice appear in all copies.
|
|
|
|
%%
|
|
|
|
%% THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
|
|
%% WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
|
|
%% MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
|
|
%% ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
|
|
%% WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
|
|
%% ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
|
|
%% OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
|
|
|
2013-01-10 21:58:38 +01:00
|
|
|
%% @doc Websocket protocol implementation.
|
|
|
|
%%
|
|
|
|
%% Cowboy supports versions 7 through 17 of the Websocket drafts.
|
|
|
|
%% It also supports RFC6455, the proposed standard for Websocket.
|
2012-08-27 14:00:28 +02:00
|
|
|
-module(cowboy_websocket).
|
2011-07-06 17:42:20 +02:00
|
|
|
|
2012-08-27 12:16:07 +02:00
|
|
|
%% API.
|
|
|
|
-export([upgrade/4]).
|
|
|
|
|
|
|
|
%% Internal.
|
|
|
|
-export([handler_loop/4]).
|
2011-04-14 21:21:17 +02:00
|
|
|
|
2013-01-17 16:22:05 +01:00
|
|
|
-type close_code() :: 1000..4999.
|
|
|
|
-export_type([close_code/0]).
|
|
|
|
|
2012-12-02 21:37:24 +01:00
|
|
|
-type frame() :: close | ping | pong
|
2012-12-08 19:11:56 +01:00
|
|
|
| {text | binary | close | ping | pong, binary()}
|
2013-01-17 16:22:05 +01:00
|
|
|
| {close, close_code(), binary()}.
|
2012-12-02 21:37:24 +01:00
|
|
|
-export_type([frame/0]).
|
|
|
|
|
2011-08-23 16:24:02 +02:00
|
|
|
-type opcode() :: 0 | 1 | 2 | 8 | 9 | 10.
|
|
|
|
-type mask_key() :: 0..16#ffffffff.
|
2013-01-12 22:31:23 +01:00
|
|
|
-type frag_state() :: undefined
|
|
|
|
| {nofin, opcode(), binary()} | {fin, opcode(), binary()}.
|
2012-04-01 18:58:28 -07:00
|
|
|
|
2011-04-14 21:21:17 +02:00
|
|
|
-record(state, {
|
2013-01-03 22:47:51 +01:00
|
|
|
env :: cowboy_middleware:env(),
|
2012-09-15 21:09:12 +02:00
|
|
|
socket = undefined :: inet:socket(),
|
|
|
|
transport = undefined :: module(),
|
2011-04-14 21:21:17 +02:00
|
|
|
handler :: module(),
|
2013-01-03 22:47:51 +01:00
|
|
|
handler_opts :: any(),
|
2013-01-10 21:58:38 +01:00
|
|
|
key = undefined :: undefined | binary(),
|
2011-04-14 21:21:17 +02:00
|
|
|
timeout = infinity :: timeout(),
|
2011-09-22 21:33:56 +02:00
|
|
|
timeout_ref = undefined :: undefined | reference(),
|
2011-06-06 13:48:41 +02:00
|
|
|
messages = undefined :: undefined | {atom(), atom(), atom()},
|
2011-08-23 16:24:02 +02:00
|
|
|
hibernate = false :: boolean(),
|
2013-01-13 00:10:32 +01:00
|
|
|
frag_state = undefined :: frag_state(),
|
|
|
|
utf8_state = <<>> :: binary()
|
2011-04-14 21:21:17 +02:00
|
|
|
}).
|
|
|
|
|
2013-01-10 21:58:38 +01:00
|
|
|
%% @doc Upgrade an HTTP request to the Websocket protocol.
|
2011-07-06 17:42:20 +02:00
|
|
|
%%
|
2013-01-10 21:58:38 +01:00
|
|
|
%% You do not need to call this function manually. To upgrade to the Websocket
|
2011-07-06 17:42:20 +02:00
|
|
|
%% protocol, you simply need to return <em>{upgrade, protocol, {@module}}</em>
|
|
|
|
%% in your <em>cowboy_http_handler:init/3</em> handler function.
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec upgrade(Req, Env, module(), any())
|
|
|
|
-> {ok, Req, Env} | {error, 400, Req}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req(), Env::cowboy_middleware:env().
|
|
|
|
upgrade(Req, Env, Handler, HandlerOpts) ->
|
|
|
|
{_, ListenerPid} = lists:keyfind(listener, 1, Env),
|
2012-08-27 11:50:35 +02:00
|
|
|
ranch_listener:remove_connection(ListenerPid),
|
2013-01-05 22:04:52 +01:00
|
|
|
[Socket, Transport] = cowboy_req:get([socket, transport], Req),
|
2013-01-03 22:47:51 +01:00
|
|
|
State = #state{env=Env, socket=Socket, transport=Transport,
|
|
|
|
handler=Handler, handler_opts=HandlerOpts},
|
2012-09-15 21:09:12 +02:00
|
|
|
case catch websocket_upgrade(State, Req) of
|
|
|
|
{ok, State2, Req2} -> handler_init(State2, Req2);
|
2013-01-03 22:47:51 +01:00
|
|
|
{'EXIT', _Reason} -> upgrade_error(Req, Env)
|
2011-04-14 21:21:17 +02:00
|
|
|
end.
|
|
|
|
|
2012-09-15 01:31:51 +02:00
|
|
|
-spec websocket_upgrade(#state{}, Req)
|
|
|
|
-> {ok, #state{}, Req} when Req::cowboy_req:req().
|
2011-05-05 14:03:39 +02:00
|
|
|
websocket_upgrade(State, Req) ->
|
2012-09-16 03:51:07 +02:00
|
|
|
{ok, ConnTokens, Req2}
|
2012-09-21 09:18:56 +02:00
|
|
|
= cowboy_req:parse_header(<<"connection">>, Req),
|
2011-10-20 19:04:49 +02:00
|
|
|
true = lists:member(<<"upgrade">>, ConnTokens),
|
2011-12-22 22:09:08 +01:00
|
|
|
%% @todo Should probably send a 426 if the Upgrade header is missing.
|
2012-09-21 09:18:56 +02:00
|
|
|
{ok, [<<"websocket">>], Req3}
|
|
|
|
= cowboy_req:parse_header(<<"upgrade">>, Req2),
|
|
|
|
{Version, Req4} = cowboy_req:header(<<"sec-websocket-version">>, Req3),
|
2011-10-24 15:06:51 +01:00
|
|
|
IntVersion = list_to_integer(binary_to_list(Version)),
|
2013-01-10 21:58:38 +01:00
|
|
|
true = (IntVersion =:= 7) orelse (IntVersion =:= 8)
|
|
|
|
orelse (IntVersion =:= 13),
|
|
|
|
{Key, Req5} = cowboy_req:header(<<"sec-websocket-key">>, Req4),
|
|
|
|
false = Key =:= undefined,
|
|
|
|
{ok, State#state{key=Key},
|
|
|
|
cowboy_req:set_meta(websocket_version, IntVersion, Req5)}.
|
2011-04-14 21:21:17 +02:00
|
|
|
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec handler_init(#state{}, Req)
|
|
|
|
-> {ok, Req, cowboy_middleware:env()} | {error, 400, Req}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
|
|
|
handler_init(State=#state{env=Env, transport=Transport,
|
|
|
|
handler=Handler, handler_opts=HandlerOpts}, Req) ->
|
|
|
|
try Handler:websocket_init(Transport:name(), Req, HandlerOpts) of
|
2011-04-14 21:21:17 +02:00
|
|
|
{ok, Req2, HandlerState} ->
|
|
|
|
websocket_handshake(State, Req2, HandlerState);
|
2011-09-15 23:13:27 +02:00
|
|
|
{ok, Req2, HandlerState, hibernate} ->
|
|
|
|
websocket_handshake(State#state{hibernate=true},
|
|
|
|
Req2, HandlerState);
|
2011-04-14 21:21:17 +02:00
|
|
|
{ok, Req2, HandlerState, Timeout} ->
|
|
|
|
websocket_handshake(State#state{timeout=Timeout},
|
2011-09-15 23:13:27 +02:00
|
|
|
Req2, HandlerState);
|
|
|
|
{ok, Req2, HandlerState, Timeout, hibernate} ->
|
|
|
|
websocket_handshake(State#state{timeout=Timeout,
|
2011-10-10 09:09:15 +02:00
|
|
|
hibernate=true}, Req2, HandlerState);
|
|
|
|
{shutdown, Req2} ->
|
2012-09-15 22:19:39 +02:00
|
|
|
cowboy_req:ensure_response(Req2, 400),
|
2013-01-03 22:47:51 +01:00
|
|
|
{ok, Req2, [{result, closed}|Env]}
|
2011-05-27 12:32:02 +02:00
|
|
|
catch Class:Reason ->
|
|
|
|
error_logger:error_msg(
|
2012-12-13 03:38:38 -05:00
|
|
|
"** Cowboy handler ~p terminating in ~p/~p~n"
|
2011-05-27 12:32:02 +02:00
|
|
|
" for the reason ~p:~p~n** Options were ~p~n"
|
|
|
|
"** Request was ~p~n** Stacktrace: ~p~n~n",
|
2013-01-03 22:47:51 +01:00
|
|
|
[Handler, websocket_init, 3, Class, Reason, HandlerOpts,
|
|
|
|
cowboy_req:to_list(Req),erlang:get_stacktrace()]),
|
|
|
|
upgrade_error(Req, Env)
|
2011-04-14 21:21:17 +02:00
|
|
|
end.
|
|
|
|
|
2013-01-29 14:35:26 +01:00
|
|
|
%% Only send an error reply if there is no resp_sent message.
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec upgrade_error(Req, Env) -> {ok, Req, Env} | {error, 400, Req}
|
|
|
|
when Req::cowboy_req:req(), Env::cowboy_middleware:env().
|
|
|
|
upgrade_error(Req, Env) ->
|
2012-09-15 21:18:53 +02:00
|
|
|
receive
|
2013-01-03 22:47:51 +01:00
|
|
|
{cowboy_req, resp_sent} ->
|
|
|
|
{ok, Req, [{result, closed}|Env]}
|
2012-09-15 21:18:53 +02:00
|
|
|
after 0 ->
|
2013-01-03 22:47:51 +01:00
|
|
|
{error, 400, Req}
|
2012-09-15 21:18:53 +02:00
|
|
|
end.
|
2011-10-10 09:09:15 +02:00
|
|
|
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec websocket_handshake(#state{}, Req, any())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2013-01-10 21:58:38 +01:00
|
|
|
websocket_handshake(State=#state{transport=Transport, key=Key},
|
2012-09-15 21:09:12 +02:00
|
|
|
Req, HandlerState) ->
|
2013-01-10 21:58:38 +01:00
|
|
|
Challenge = base64:encode(crypto:sha(
|
|
|
|
<< Key/binary, "258EAFA5-E914-47DA-95CA-C5AB0DC85B11" >>)),
|
2012-08-27 13:28:57 +02:00
|
|
|
{ok, Req2} = cowboy_req:upgrade_reply(
|
2011-10-20 14:11:17 +02:00
|
|
|
101,
|
2012-12-05 10:21:41 +01:00
|
|
|
[{<<"upgrade">>, <<"websocket">>},
|
|
|
|
{<<"sec-websocket-accept">>, Challenge}],
|
2012-09-15 12:56:45 +02:00
|
|
|
Req),
|
2012-01-02 09:41:30 +01:00
|
|
|
%% Flush the resp_sent message before moving on.
|
2012-08-27 13:28:57 +02:00
|
|
|
receive {cowboy_req, resp_sent} -> ok after 0 -> ok end,
|
2012-12-19 11:34:44 -08:00
|
|
|
State2 = handler_loop_timeout(State),
|
2013-01-10 21:58:38 +01:00
|
|
|
handler_before_loop(State2#state{key=undefined,
|
|
|
|
messages=Transport:messages()}, Req2, HandlerState, <<>>).
|
2011-04-14 21:21:17 +02:00
|
|
|
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec handler_before_loop(#state{}, Req, any(), binary())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2012-09-15 21:09:12 +02:00
|
|
|
handler_before_loop(State=#state{
|
|
|
|
socket=Socket, transport=Transport, hibernate=true},
|
|
|
|
Req, HandlerState, SoFar) ->
|
2011-04-14 21:21:17 +02:00
|
|
|
Transport:setopts(Socket, [{active, once}]),
|
2013-01-03 22:47:51 +01:00
|
|
|
{suspend, ?MODULE, handler_loop,
|
|
|
|
[State#state{hibernate=false}, Req, HandlerState, SoFar]};
|
2012-09-15 21:09:12 +02:00
|
|
|
handler_before_loop(State=#state{socket=Socket, transport=Transport},
|
|
|
|
Req, HandlerState, SoFar) ->
|
2011-06-06 18:15:36 +02:00
|
|
|
Transport:setopts(Socket, [{active, once}]),
|
2012-12-19 11:34:44 -08:00
|
|
|
handler_loop(State, Req, HandlerState, SoFar).
|
2011-09-22 21:33:56 +02:00
|
|
|
|
|
|
|
-spec handler_loop_timeout(#state{}) -> #state{}.
|
|
|
|
handler_loop_timeout(State=#state{timeout=infinity}) ->
|
|
|
|
State#state{timeout_ref=undefined};
|
|
|
|
handler_loop_timeout(State=#state{timeout=Timeout, timeout_ref=PrevRef}) ->
|
|
|
|
_ = case PrevRef of undefined -> ignore; PrevRef ->
|
|
|
|
erlang:cancel_timer(PrevRef) end,
|
2012-04-24 11:38:27 -07:00
|
|
|
TRef = erlang:start_timer(Timeout, self(), ?MODULE),
|
2011-09-22 21:33:56 +02:00
|
|
|
State#state{timeout_ref=TRef}.
|
2011-06-06 18:15:36 +02:00
|
|
|
|
2011-07-06 17:42:20 +02:00
|
|
|
%% @private
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec handler_loop(#state{}, Req, any(), binary())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2013-01-12 22:31:23 +01:00
|
|
|
handler_loop(State=#state{socket=Socket, messages={OK, Closed, Error},
|
|
|
|
timeout_ref=TRef}, Req, HandlerState, SoFar) ->
|
2011-04-14 21:21:17 +02:00
|
|
|
receive
|
|
|
|
{OK, Socket, Data} ->
|
2012-12-19 11:34:44 -08:00
|
|
|
State2 = handler_loop_timeout(State),
|
|
|
|
websocket_data(State2, Req, HandlerState,
|
2011-04-14 21:21:17 +02:00
|
|
|
<< SoFar/binary, Data/binary >>);
|
|
|
|
{Closed, Socket} ->
|
|
|
|
handler_terminate(State, Req, HandlerState, {error, closed});
|
|
|
|
{Error, Socket, Reason} ->
|
|
|
|
handler_terminate(State, Req, HandlerState, {error, Reason});
|
2012-04-24 11:38:27 -07:00
|
|
|
{timeout, TRef, ?MODULE} ->
|
2011-09-22 21:33:56 +02:00
|
|
|
websocket_close(State, Req, HandlerState, {normal, timeout});
|
2012-04-24 11:38:27 -07:00
|
|
|
{timeout, OlderTRef, ?MODULE} when is_reference(OlderTRef) ->
|
2011-09-22 21:33:56 +02:00
|
|
|
handler_loop(State, Req, HandlerState, SoFar);
|
2011-04-14 21:21:17 +02:00
|
|
|
Message ->
|
|
|
|
handler_call(State, Req, HandlerState,
|
2011-07-19 12:12:25 +02:00
|
|
|
SoFar, websocket_info, Message, fun handler_before_loop/4)
|
2011-04-14 21:21:17 +02:00
|
|
|
end.
|
|
|
|
|
2013-01-14 16:20:33 +01:00
|
|
|
%% All frames passing through this function are considered valid,
|
|
|
|
%% with the only exception of text and close frames with a payload
|
|
|
|
%% which may still contain errors.
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec websocket_data(#state{}, Req, any(), binary())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2013-01-12 22:31:23 +01:00
|
|
|
%% RSV bits MUST be 0 unless an extension is negotiated
|
|
|
|
%% that defines meanings for non-zero values.
|
|
|
|
websocket_data(State, Req, HandlerState, << _:1, Rsv:3, _/bits >>)
|
|
|
|
when Rsv =/= 0 ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-14 16:20:33 +01:00
|
|
|
%% Invalid opcode. Note that these opcodes may be used by extensions.
|
|
|
|
websocket_data(State, Req, HandlerState, << _:4, Opcode:4, _/bits >>)
|
|
|
|
when Opcode > 2, Opcode =/= 8, Opcode =/= 9, Opcode =/= 10 ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-12 22:31:23 +01:00
|
|
|
%% Control frames MUST NOT be fragmented.
|
|
|
|
websocket_data(State, Req, HandlerState, << 0:1, _:3, Opcode:4, _/bits >>)
|
|
|
|
when Opcode >= 8 ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-14 16:20:33 +01:00
|
|
|
%% A frame MUST NOT use the zero opcode unless fragmentation was initiated.
|
2013-01-12 22:31:23 +01:00
|
|
|
websocket_data(State=#state{frag_state=undefined}, Req, HandlerState,
|
2013-01-14 16:20:33 +01:00
|
|
|
<< _:4, 0:4, _/bits >>) ->
|
2013-01-12 22:31:23 +01:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
|
|
|
%% Non-control opcode when expecting control message or next fragment.
|
|
|
|
websocket_data(State=#state{frag_state={nofin, _, _}}, Req, HandlerState,
|
|
|
|
<< _:4, Opcode:4, _/bits >>)
|
|
|
|
when Opcode =/= 0, Opcode < 8 ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-14 16:20:33 +01:00
|
|
|
%% Close control frame length MUST be 0 or >= 2.
|
|
|
|
websocket_data(State, Req, HandlerState, << _:4, 8:4, _:1, 1:7, _/bits >>) ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
|
|
|
%% Close control frame with incomplete close code. Need more data.
|
|
|
|
websocket_data(State, Req, HandlerState,
|
|
|
|
Data = << _:4, 8:4, 1:1, Len:7, _/bits >>)
|
|
|
|
when Len > 1, byte_size(Data) < 8 ->
|
|
|
|
handler_before_loop(State, Req, HandlerState, Data);
|
2013-01-12 22:31:23 +01:00
|
|
|
%% 7 bits payload length.
|
|
|
|
websocket_data(State, Req, HandlerState, << Fin:1, _Rsv:3, Opcode:4, 1:1,
|
|
|
|
Len:7, MaskKey:32, Rest/bits >>)
|
|
|
|
when Len < 126 ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_data(State, Req, HandlerState,
|
2013-01-12 22:31:23 +01:00
|
|
|
Opcode, Len, MaskKey, Rest, Fin);
|
|
|
|
%% 16 bits payload length.
|
|
|
|
websocket_data(State, Req, HandlerState, << Fin:1, _Rsv:3, Opcode:4, 1:1,
|
|
|
|
126:7, Len:16, MaskKey:32, Rest/bits >>)
|
|
|
|
when Len > 125, Opcode < 8 ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_data(State, Req, HandlerState,
|
2013-01-12 22:31:23 +01:00
|
|
|
Opcode, Len, MaskKey, Rest, Fin);
|
|
|
|
%% 63 bits payload length.
|
|
|
|
websocket_data(State, Req, HandlerState, << Fin:1, _Rsv:3, Opcode:4, 1:1,
|
|
|
|
127:7, 0:1, Len:63, MaskKey:32, Rest/bits >>)
|
|
|
|
when Len > 16#ffff, Opcode < 8 ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_data(State, Req, HandlerState,
|
2013-01-12 22:31:23 +01:00
|
|
|
Opcode, Len, MaskKey, Rest, Fin);
|
|
|
|
%% When payload length is over 63 bits, the most significant bit MUST be 0.
|
2013-02-09 16:27:24 -06:00
|
|
|
websocket_data(State, Req, HandlerState, << _:8, 1:1, 127:7, 1:1, _:7, _/binary >>) ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-12 22:31:23 +01:00
|
|
|
%% All frames sent from the client to the server are masked.
|
|
|
|
websocket_data(State, Req, HandlerState, << _:8, 0:1, _/bits >>) ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-12 22:31:23 +01:00
|
|
|
%% For the next two clauses, it can be one of the following:
|
|
|
|
%%
|
|
|
|
%% * The minimal number of bytes MUST be used to encode the length
|
|
|
|
%% * All control frames MUST have a payload length of 125 bytes or less
|
|
|
|
websocket_data(State, Req, HandlerState, << _:9, 126:7, _:48, _/bits >>) ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
2013-01-12 22:31:23 +01:00
|
|
|
websocket_data(State, Req, HandlerState, << _:9, 127:7, _:96, _/bits >>) ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
|
|
|
%% Need more data.
|
|
|
|
websocket_data(State, Req, HandlerState, Data) ->
|
|
|
|
handler_before_loop(State, Req, HandlerState, Data).
|
2012-04-01 18:58:28 -07:00
|
|
|
|
2013-01-12 22:31:23 +01:00
|
|
|
%% Initialize or update fragmentation state.
|
|
|
|
-spec websocket_data(#state{}, Req, any(),
|
|
|
|
opcode(), non_neg_integer(), mask_key(), binary(), 0 | 1)
|
2013-01-03 22:47:51 +01:00
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2013-01-12 22:31:23 +01:00
|
|
|
%% The opcode is only included in the first frame fragment.
|
|
|
|
websocket_data(State=#state{frag_state=undefined}, Req, HandlerState,
|
|
|
|
Opcode, Len, MaskKey, Data, 0) ->
|
|
|
|
websocket_payload(State#state{frag_state={nofin, Opcode, <<>>}},
|
|
|
|
Req, HandlerState, 0, Len, MaskKey, <<>>, Data);
|
|
|
|
%% Subsequent frame fragments.
|
|
|
|
websocket_data(State=#state{frag_state={nofin, _, _}}, Req, HandlerState,
|
|
|
|
0, Len, MaskKey, Data, 0) ->
|
|
|
|
websocket_payload(State, Req, HandlerState,
|
|
|
|
0, Len, MaskKey, <<>>, Data);
|
|
|
|
%% Final frame fragment.
|
|
|
|
websocket_data(State=#state{frag_state={nofin, Opcode, SoFar}},
|
|
|
|
Req, HandlerState, 0, Len, MaskKey, Data, 1) ->
|
|
|
|
websocket_payload(State#state{frag_state={fin, Opcode, SoFar}},
|
|
|
|
Req, HandlerState, 0, Len, MaskKey, <<>>, Data);
|
|
|
|
%% Unfragmented frame.
|
|
|
|
websocket_data(State, Req, HandlerState, Opcode, Len, MaskKey, Data, 1) ->
|
|
|
|
websocket_payload(State, Req, HandlerState,
|
|
|
|
Opcode, Len, MaskKey, <<>>, Data).
|
2011-04-14 21:21:17 +02:00
|
|
|
|
2013-01-12 22:31:23 +01:00
|
|
|
-spec websocket_payload(#state{}, Req, any(),
|
|
|
|
opcode(), non_neg_integer(), mask_key(), binary(), binary())
|
2013-01-03 22:47:51 +01:00
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2013-01-14 16:20:33 +01:00
|
|
|
%% Close control frames with a payload MUST contain a valid close code.
|
|
|
|
websocket_payload(State, Req, HandlerState,
|
|
|
|
Opcode=8, Len, MaskKey, <<>>, << MaskedCode:2/binary, Rest/bits >>) ->
|
|
|
|
Unmasked = << Code:16 >> = websocket_unmask(MaskedCode, MaskKey, <<>>),
|
|
|
|
if Code < 1000; Code =:= 1004; Code =:= 1005; Code =:= 1006;
|
|
|
|
(Code > 1011) and (Code < 3000); Code > 4999 ->
|
|
|
|
websocket_close(State, Req, HandlerState, {error, badframe});
|
|
|
|
true ->
|
|
|
|
websocket_payload(State, Req, HandlerState,
|
|
|
|
Opcode, Len - 2, MaskKey, Unmasked, Rest)
|
|
|
|
end;
|
|
|
|
%% Text frames and close control frames MUST have a payload that is valid UTF-8.
|
2013-01-13 00:10:32 +01:00
|
|
|
websocket_payload(State=#state{utf8_state=Incomplete},
|
2013-01-14 16:20:33 +01:00
|
|
|
Req, HandlerState, Opcode, Len, MaskKey, Unmasked, Data)
|
|
|
|
when (byte_size(Data) < Len) andalso ((Opcode =:= 1) orelse
|
|
|
|
((Opcode =:= 8) andalso (Unmasked =/= <<>>))) ->
|
2013-01-13 00:10:32 +01:00
|
|
|
Unmasked2 = websocket_unmask(Data,
|
|
|
|
rotate_mask_key(MaskKey, byte_size(Unmasked)), <<>>),
|
|
|
|
case is_utf8(<< Incomplete/binary, Unmasked2/binary >>) of
|
|
|
|
false ->
|
2013-01-14 16:20:33 +01:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badencoding});
|
2013-01-13 00:10:32 +01:00
|
|
|
Utf8State ->
|
|
|
|
websocket_payload_loop(State#state{utf8_state=Utf8State},
|
|
|
|
Req, HandlerState, Opcode, Len - byte_size(Data), MaskKey,
|
|
|
|
<< Unmasked/binary, Unmasked2/binary >>)
|
|
|
|
end;
|
|
|
|
websocket_payload(State=#state{utf8_state=Incomplete},
|
2013-01-14 16:20:33 +01:00
|
|
|
Req, HandlerState, Opcode, Len, MaskKey, Unmasked, Data)
|
|
|
|
when Opcode =:= 1; (Opcode =:= 8) and (Unmasked =/= <<>>) ->
|
2013-01-13 00:10:32 +01:00
|
|
|
<< End:Len/binary, Rest/bits >> = Data,
|
|
|
|
Unmasked2 = websocket_unmask(End,
|
|
|
|
rotate_mask_key(MaskKey, byte_size(Unmasked)), <<>>),
|
|
|
|
case is_utf8(<< Incomplete/binary, Unmasked2/binary >>) of
|
|
|
|
<<>> ->
|
|
|
|
websocket_dispatch(State#state{utf8_state= <<>>},
|
|
|
|
Req, HandlerState, Rest, Opcode,
|
|
|
|
<< Unmasked/binary, Unmasked2/binary >>);
|
|
|
|
_ ->
|
2013-01-14 16:20:33 +01:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badencoding})
|
2013-01-13 00:10:32 +01:00
|
|
|
end;
|
|
|
|
%% Fragmented text frames may cut payload in the middle of UTF-8 codepoints.
|
|
|
|
websocket_payload(State=#state{frag_state={_, 1, _}, utf8_state=Incomplete},
|
|
|
|
Req, HandlerState, Opcode=0, Len, MaskKey, Unmasked, Data)
|
|
|
|
when byte_size(Data) < Len ->
|
|
|
|
Unmasked2 = websocket_unmask(Data,
|
|
|
|
rotate_mask_key(MaskKey, byte_size(Unmasked)), <<>>),
|
|
|
|
case is_utf8(<< Incomplete/binary, Unmasked2/binary >>) of
|
|
|
|
false ->
|
2013-01-14 16:20:33 +01:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badencoding});
|
2013-01-13 00:10:32 +01:00
|
|
|
Utf8State ->
|
|
|
|
websocket_payload_loop(State#state{utf8_state=Utf8State},
|
|
|
|
Req, HandlerState, Opcode, Len - byte_size(Data), MaskKey,
|
|
|
|
<< Unmasked/binary, Unmasked2/binary >>)
|
|
|
|
end;
|
|
|
|
websocket_payload(State=#state{frag_state={Fin, 1, _}, utf8_state=Incomplete},
|
|
|
|
Req, HandlerState, Opcode=0, Len, MaskKey, Unmasked, Data) ->
|
|
|
|
<< End:Len/binary, Rest/bits >> = Data,
|
|
|
|
Unmasked2 = websocket_unmask(End,
|
|
|
|
rotate_mask_key(MaskKey, byte_size(Unmasked)), <<>>),
|
|
|
|
case is_utf8(<< Incomplete/binary, Unmasked2/binary >>) of
|
|
|
|
<<>> ->
|
|
|
|
websocket_dispatch(State#state{utf8_state= <<>>},
|
|
|
|
Req, HandlerState, Rest, Opcode,
|
|
|
|
<< Unmasked/binary, Unmasked2/binary >>);
|
|
|
|
Utf8State when is_binary(Utf8State), Fin =:= nofin ->
|
|
|
|
websocket_dispatch(State#state{utf8_state=Utf8State},
|
|
|
|
Req, HandlerState, Rest, Opcode,
|
|
|
|
<< Unmasked/binary, Unmasked2/binary >>);
|
|
|
|
_ ->
|
2013-01-14 16:20:33 +01:00
|
|
|
websocket_close(State, Req, HandlerState, {error, badencoding})
|
2013-01-13 00:10:32 +01:00
|
|
|
end;
|
|
|
|
%% Other frames have a binary payload.
|
2013-01-12 22:31:23 +01:00
|
|
|
websocket_payload(State, Req, HandlerState,
|
|
|
|
Opcode, Len, MaskKey, Unmasked, Data)
|
|
|
|
when byte_size(Data) < Len ->
|
|
|
|
Unmasked2 = websocket_unmask(Data,
|
|
|
|
rotate_mask_key(MaskKey, byte_size(Unmasked)), Unmasked),
|
|
|
|
websocket_payload_loop(State, Req, HandlerState,
|
|
|
|
Opcode, Len - byte_size(Data), MaskKey, Unmasked2);
|
|
|
|
websocket_payload(State, Req, HandlerState,
|
|
|
|
Opcode, Len, MaskKey, Unmasked, Data) ->
|
|
|
|
<< End:Len/binary, Rest/bits >> = Data,
|
|
|
|
Unmasked2 = websocket_unmask(End,
|
|
|
|
rotate_mask_key(MaskKey, byte_size(Unmasked)), Unmasked),
|
|
|
|
websocket_dispatch(State, Req, HandlerState, Rest, Opcode, Unmasked2).
|
2011-08-23 16:24:02 +02:00
|
|
|
|
2013-01-12 22:31:23 +01:00
|
|
|
-spec websocket_unmask(B, mask_key(), B) -> B when B::binary().
|
|
|
|
websocket_unmask(<<>>, _, Unmasked) ->
|
|
|
|
Unmasked;
|
|
|
|
websocket_unmask(<< O:32, Rest/bits >>, MaskKey, Acc) ->
|
2011-08-23 16:24:02 +02:00
|
|
|
T = O bxor MaskKey,
|
2013-01-12 22:31:23 +01:00
|
|
|
websocket_unmask(Rest, MaskKey, << Acc/binary, T:32 >>);
|
|
|
|
websocket_unmask(<< O:24 >>, MaskKey, Acc) ->
|
2011-08-23 16:24:02 +02:00
|
|
|
<< MaskKey2:24, _:8 >> = << MaskKey:32 >>,
|
|
|
|
T = O bxor MaskKey2,
|
2013-01-12 22:31:23 +01:00
|
|
|
<< Acc/binary, T:24 >>;
|
|
|
|
websocket_unmask(<< O:16 >>, MaskKey, Acc) ->
|
2011-08-23 16:24:02 +02:00
|
|
|
<< MaskKey2:16, _:16 >> = << MaskKey:32 >>,
|
|
|
|
T = O bxor MaskKey2,
|
2013-01-12 22:31:23 +01:00
|
|
|
<< Acc/binary, T:16 >>;
|
|
|
|
websocket_unmask(<< O:8 >>, MaskKey, Acc) ->
|
2011-08-23 16:24:02 +02:00
|
|
|
<< MaskKey2:8, _:24 >> = << MaskKey:32 >>,
|
|
|
|
T = O bxor MaskKey2,
|
2013-01-12 22:31:23 +01:00
|
|
|
<< Acc/binary, T:8 >>.
|
|
|
|
|
|
|
|
%% Because we unmask on the fly we need to continue from the right mask byte.
|
|
|
|
-spec rotate_mask_key(mask_key(), non_neg_integer()) -> mask_key().
|
|
|
|
rotate_mask_key(MaskKey, UnmaskedLen) ->
|
|
|
|
Left = UnmaskedLen rem 4,
|
|
|
|
Right = 4 - Left,
|
|
|
|
(MaskKey bsl (Left * 8)) + (MaskKey bsr (Right * 8)).
|
|
|
|
|
2013-01-13 00:10:32 +01:00
|
|
|
%% Returns <<>> if the argument is valid UTF-8, false if not,
|
|
|
|
%% or the incomplete part of the argument if we need more data.
|
|
|
|
-spec is_utf8(binary()) -> false | binary().
|
|
|
|
is_utf8(Valid = <<>>) ->
|
|
|
|
Valid;
|
|
|
|
is_utf8(<< _/utf8, Rest/binary >>) ->
|
|
|
|
is_utf8(Rest);
|
|
|
|
%% 2 bytes. Codepages C0 and C1 are invalid; fail early.
|
|
|
|
is_utf8(<< 2#1100000:7, _/bits >>) ->
|
|
|
|
false;
|
|
|
|
is_utf8(Incomplete = << 2#110:3, _:5 >>) ->
|
|
|
|
Incomplete;
|
|
|
|
%% 3 bytes.
|
|
|
|
is_utf8(Incomplete = << 2#1110:4, _:4 >>) ->
|
|
|
|
Incomplete;
|
|
|
|
is_utf8(Incomplete = << 2#1110:4, _:4, 2#10:2, _:6 >>) ->
|
|
|
|
Incomplete;
|
|
|
|
%% 4 bytes. Codepage F4 may have invalid values greater than 0x10FFFF.
|
|
|
|
is_utf8(<< 2#11110100:8, 2#10:2, High:6, _/bits >>) when High >= 2#10000 ->
|
|
|
|
false;
|
|
|
|
is_utf8(Incomplete = << 2#11110:5, _:3 >>) ->
|
|
|
|
Incomplete;
|
|
|
|
is_utf8(Incomplete = << 2#11110:5, _:3, 2#10:2, _:6 >>) ->
|
|
|
|
Incomplete;
|
|
|
|
is_utf8(Incomplete = << 2#11110:5, _:3, 2#10:2, _:6, 2#10:2, _:6 >>) ->
|
|
|
|
Incomplete;
|
|
|
|
%% Invalid.
|
|
|
|
is_utf8(_) ->
|
|
|
|
false.
|
|
|
|
|
2013-01-12 22:31:23 +01:00
|
|
|
-spec websocket_payload_loop(#state{}, Req, any(),
|
|
|
|
opcode(), non_neg_integer(), mask_key(), binary())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
|
|
|
websocket_payload_loop(State=#state{socket=Socket, transport=Transport,
|
|
|
|
messages={OK, Closed, Error}, timeout_ref=TRef},
|
|
|
|
Req, HandlerState, Opcode, Len, MaskKey, Unmasked) ->
|
|
|
|
Transport:setopts(Socket, [{active, once}]),
|
|
|
|
receive
|
|
|
|
{OK, Socket, Data} ->
|
|
|
|
State2 = handler_loop_timeout(State),
|
|
|
|
websocket_payload(State2, Req, HandlerState,
|
|
|
|
Opcode, Len, MaskKey, Unmasked, Data);
|
|
|
|
{Closed, Socket} ->
|
|
|
|
handler_terminate(State, Req, HandlerState, {error, closed});
|
|
|
|
{Error, Socket, Reason} ->
|
|
|
|
handler_terminate(State, Req, HandlerState, {error, Reason});
|
|
|
|
{timeout, TRef, ?MODULE} ->
|
|
|
|
websocket_close(State, Req, HandlerState, {normal, timeout});
|
|
|
|
{timeout, OlderTRef, ?MODULE} when is_reference(OlderTRef) ->
|
|
|
|
websocket_payload_loop(State, Req, HandlerState,
|
|
|
|
Opcode, Len, MaskKey, Unmasked);
|
|
|
|
Message ->
|
|
|
|
handler_call(State, Req, HandlerState,
|
|
|
|
<<>>, websocket_info, Message,
|
|
|
|
fun (State2, Req2, HandlerState2, _) ->
|
|
|
|
websocket_payload_loop(State2, Req2, HandlerState2,
|
|
|
|
Opcode, Len, MaskKey, Unmasked)
|
|
|
|
end)
|
|
|
|
end.
|
2011-08-23 16:24:02 +02:00
|
|
|
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec websocket_dispatch(#state{}, Req, any(), binary(), opcode(), binary())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
2013-01-12 22:31:23 +01:00
|
|
|
%% Continuation frame.
|
|
|
|
websocket_dispatch(State=#state{frag_state={nofin, Opcode, SoFar}},
|
|
|
|
Req, HandlerState, RemainingData, 0, Payload) ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_data(State#state{frag_state={nofin, Opcode,
|
2013-01-12 22:31:23 +01:00
|
|
|
<< SoFar/binary, Payload/binary >>}}, Req, HandlerState, RemainingData);
|
|
|
|
%% Last continuation frame.
|
|
|
|
websocket_dispatch(State=#state{frag_state={fin, Opcode, SoFar}},
|
|
|
|
Req, HandlerState, RemainingData, 0, Payload) ->
|
2012-04-01 18:58:28 -07:00
|
|
|
websocket_dispatch(State#state{frag_state=undefined}, Req, HandlerState,
|
2013-01-12 22:31:23 +01:00
|
|
|
RemainingData, Opcode, << SoFar/binary, Payload/binary >>);
|
2011-08-23 16:24:02 +02:00
|
|
|
%% Text frame.
|
|
|
|
websocket_dispatch(State, Req, HandlerState, RemainingData, 1, Payload) ->
|
|
|
|
handler_call(State, Req, HandlerState, RemainingData,
|
|
|
|
websocket_handle, {text, Payload}, fun websocket_data/4);
|
|
|
|
%% Binary frame.
|
|
|
|
websocket_dispatch(State, Req, HandlerState, RemainingData, 2, Payload) ->
|
|
|
|
handler_call(State, Req, HandlerState, RemainingData,
|
|
|
|
websocket_handle, {binary, Payload}, fun websocket_data/4);
|
|
|
|
%% Close control frame.
|
2013-01-14 16:20:33 +01:00
|
|
|
websocket_dispatch(State, Req, HandlerState, _RemainingData, 8, <<>>) ->
|
|
|
|
websocket_close(State, Req, HandlerState, {remote, closed});
|
|
|
|
websocket_dispatch(State, Req, HandlerState, _RemainingData, 8,
|
|
|
|
<< Code:16, Payload/bits >>) ->
|
|
|
|
websocket_close(State, Req, HandlerState, {remote, Code, Payload});
|
2011-08-23 16:24:02 +02:00
|
|
|
%% Ping control frame. Send a pong back and forward the ping to the handler.
|
2012-09-15 21:09:12 +02:00
|
|
|
websocket_dispatch(State=#state{socket=Socket, transport=Transport},
|
|
|
|
Req, HandlerState, RemainingData, 9, Payload) ->
|
2013-01-10 21:58:38 +01:00
|
|
|
Len = payload_length_to_binary(byte_size(Payload)),
|
2011-08-23 16:24:02 +02:00
|
|
|
Transport:send(Socket, << 1:1, 0:3, 10:4, 0:1, Len/bits, Payload/binary >>),
|
|
|
|
handler_call(State, Req, HandlerState, RemainingData,
|
|
|
|
websocket_handle, {ping, Payload}, fun websocket_data/4);
|
|
|
|
%% Pong control frame.
|
|
|
|
websocket_dispatch(State, Req, HandlerState, RemainingData, 10, Payload) ->
|
|
|
|
handler_call(State, Req, HandlerState, RemainingData,
|
|
|
|
websocket_handle, {pong, Payload}, fun websocket_data/4).
|
|
|
|
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec handler_call(#state{}, Req, any(), binary(), atom(), any(), fun())
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
| {suspend, module(), atom(), [any()]}
|
|
|
|
when Req::cowboy_req:req().
|
|
|
|
handler_call(State=#state{handler=Handler, handler_opts=HandlerOpts}, Req,
|
|
|
|
HandlerState, RemainingData, Callback, Message, NextState) ->
|
2011-07-19 12:12:25 +02:00
|
|
|
try Handler:Callback(Message, Req, HandlerState) of
|
2011-04-14 21:21:17 +02:00
|
|
|
{ok, Req2, HandlerState2} ->
|
|
|
|
NextState(State, Req2, HandlerState2, RemainingData);
|
2011-06-06 18:15:36 +02:00
|
|
|
{ok, Req2, HandlerState2, hibernate} ->
|
|
|
|
NextState(State#state{hibernate=true},
|
|
|
|
Req2, HandlerState2, RemainingData);
|
2012-10-11 21:46:43 +02:00
|
|
|
{reply, Payload, Req2, HandlerState2}
|
|
|
|
when is_tuple(Payload) ->
|
2012-04-08 11:57:30 +02:00
|
|
|
case websocket_send(Payload, State) of
|
|
|
|
ok ->
|
2013-02-09 21:46:05 +01:00
|
|
|
NextState(State, Req2, HandlerState2, RemainingData);
|
2012-12-02 21:37:24 +01:00
|
|
|
shutdown ->
|
2013-02-14 19:26:46 +01:00
|
|
|
handler_terminate(State, Req2, HandlerState2,
|
2012-12-02 21:37:24 +01:00
|
|
|
{normal, shutdown});
|
2012-04-08 11:57:30 +02:00
|
|
|
{error, _} = Error ->
|
|
|
|
handler_terminate(State, Req2, HandlerState2, Error)
|
|
|
|
end;
|
2012-10-11 21:46:43 +02:00
|
|
|
{reply, Payload, Req2, HandlerState2, hibernate}
|
|
|
|
when is_tuple(Payload) ->
|
2012-04-08 11:57:30 +02:00
|
|
|
case websocket_send(Payload, State) of
|
|
|
|
ok ->
|
2013-02-09 21:46:05 +01:00
|
|
|
NextState(State#state{hibernate=true},
|
2012-04-08 11:57:30 +02:00
|
|
|
Req2, HandlerState2, RemainingData);
|
2012-12-02 21:37:24 +01:00
|
|
|
shutdown ->
|
2013-02-14 19:26:46 +01:00
|
|
|
handler_terminate(State, Req2, HandlerState2,
|
2012-12-02 21:37:24 +01:00
|
|
|
{normal, shutdown});
|
2012-04-08 11:57:30 +02:00
|
|
|
{error, _} = Error ->
|
|
|
|
handler_terminate(State, Req2, HandlerState2, Error)
|
|
|
|
end;
|
2012-10-11 21:46:43 +02:00
|
|
|
{reply, Payload, Req2, HandlerState2}
|
|
|
|
when is_list(Payload) ->
|
2012-04-08 11:57:30 +02:00
|
|
|
case websocket_send_many(Payload, State) of
|
|
|
|
ok ->
|
2013-02-09 21:46:05 +01:00
|
|
|
NextState(State, Req2, HandlerState2, RemainingData);
|
2012-12-02 21:37:24 +01:00
|
|
|
shutdown ->
|
2013-02-14 19:26:46 +01:00
|
|
|
handler_terminate(State, Req2, HandlerState2,
|
2012-12-02 21:37:24 +01:00
|
|
|
{normal, shutdown});
|
2012-04-08 11:57:30 +02:00
|
|
|
{error, _} = Error ->
|
|
|
|
handler_terminate(State, Req2, HandlerState2, Error)
|
|
|
|
end;
|
2012-10-11 21:46:43 +02:00
|
|
|
{reply, Payload, Req2, HandlerState2, hibernate}
|
|
|
|
when is_list(Payload) ->
|
2012-04-08 11:57:30 +02:00
|
|
|
case websocket_send_many(Payload, State) of
|
|
|
|
ok ->
|
2013-02-09 21:46:05 +01:00
|
|
|
NextState(State#state{hibernate=true},
|
2012-04-08 11:57:30 +02:00
|
|
|
Req2, HandlerState2, RemainingData);
|
2012-12-02 21:37:24 +01:00
|
|
|
shutdown ->
|
2013-02-14 19:26:46 +01:00
|
|
|
handler_terminate(State, Req2, HandlerState2,
|
2012-12-02 21:37:24 +01:00
|
|
|
{normal, shutdown});
|
2012-04-08 11:57:30 +02:00
|
|
|
{error, _} = Error ->
|
|
|
|
handler_terminate(State, Req2, HandlerState2, Error)
|
|
|
|
end;
|
2011-04-14 21:21:17 +02:00
|
|
|
{shutdown, Req2, HandlerState2} ->
|
2011-05-27 12:32:02 +02:00
|
|
|
websocket_close(State, Req2, HandlerState2, {normal, shutdown})
|
|
|
|
catch Class:Reason ->
|
2012-09-15 20:33:57 +02:00
|
|
|
PLReq = cowboy_req:to_list(Req),
|
2011-05-27 12:32:02 +02:00
|
|
|
error_logger:error_msg(
|
2012-12-13 03:38:38 -05:00
|
|
|
"** Cowboy handler ~p terminating in ~p/~p~n"
|
2011-05-27 12:32:02 +02:00
|
|
|
" for the reason ~p:~p~n** Message was ~p~n"
|
|
|
|
"** Options were ~p~n** Handler state was ~p~n"
|
|
|
|
"** Request was ~p~n** Stacktrace: ~p~n~n",
|
2013-01-03 22:47:51 +01:00
|
|
|
[Handler, Callback, 3, Class, Reason, Message, HandlerOpts,
|
2012-03-31 11:04:52 -07:00
|
|
|
HandlerState, PLReq, erlang:get_stacktrace()]),
|
2011-07-07 17:50:46 +02:00
|
|
|
websocket_close(State, Req, HandlerState, {error, handler})
|
2011-04-14 21:21:17 +02:00
|
|
|
end.
|
|
|
|
|
2012-12-02 21:37:24 +01:00
|
|
|
websocket_opcode(text) -> 1;
|
|
|
|
websocket_opcode(binary) -> 2;
|
|
|
|
websocket_opcode(close) -> 8;
|
|
|
|
websocket_opcode(ping) -> 9;
|
|
|
|
websocket_opcode(pong) -> 10.
|
|
|
|
|
|
|
|
-spec websocket_send(frame(), #state{})
|
|
|
|
-> ok | shutdown | {error, atom()}.
|
|
|
|
websocket_send(Type, #state{socket=Socket, transport=Transport})
|
|
|
|
when Type =:= close ->
|
|
|
|
Opcode = websocket_opcode(Type),
|
|
|
|
case Transport:send(Socket, << 1:1, 0:3, Opcode:4, 0:8 >>) of
|
|
|
|
ok -> shutdown;
|
|
|
|
Error -> Error
|
|
|
|
end;
|
|
|
|
websocket_send(Type, #state{socket=Socket, transport=Transport})
|
|
|
|
when Type =:= ping; Type =:= pong ->
|
|
|
|
Opcode = websocket_opcode(Type),
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, Opcode:4, 0:8 >>);
|
2012-12-08 19:11:56 +01:00
|
|
|
websocket_send({close, Payload}, State) ->
|
|
|
|
websocket_send({close, 1000, Payload}, State);
|
|
|
|
websocket_send({Type = close, StatusCode, Payload}, #state{
|
|
|
|
socket=Socket, transport=Transport}) ->
|
|
|
|
Opcode = websocket_opcode(Type),
|
|
|
|
Len = 2 + iolist_size(Payload),
|
|
|
|
%% Control packets must not be > 125 in length.
|
|
|
|
true = Len =< 125,
|
2013-01-10 21:58:38 +01:00
|
|
|
BinLen = payload_length_to_binary(Len),
|
2012-12-08 19:11:56 +01:00
|
|
|
Transport:send(Socket,
|
|
|
|
[<< 1:1, 0:3, Opcode:4, 0:1, BinLen/bits, StatusCode:16 >>, Payload]),
|
|
|
|
shutdown;
|
2012-09-15 21:09:12 +02:00
|
|
|
websocket_send({Type, Payload}, #state{socket=Socket, transport=Transport}) ->
|
2012-12-02 21:37:24 +01:00
|
|
|
Opcode = websocket_opcode(Type),
|
|
|
|
Len = iolist_size(Payload),
|
|
|
|
%% Control packets must not be > 125 in length.
|
2012-12-08 19:11:56 +01:00
|
|
|
true = if Type =:= ping; Type =:= pong ->
|
2012-12-02 21:37:24 +01:00
|
|
|
Len =< 125;
|
|
|
|
true ->
|
|
|
|
true
|
2011-08-23 16:24:02 +02:00
|
|
|
end,
|
2013-01-10 21:58:38 +01:00
|
|
|
BinLen = payload_length_to_binary(Len),
|
2012-12-08 19:11:56 +01:00
|
|
|
Transport:send(Socket,
|
|
|
|
[<< 1:1, 0:3, Opcode:4, 0:1, BinLen/bits >>, Payload]).
|
2011-04-14 21:21:17 +02:00
|
|
|
|
2012-12-02 21:37:24 +01:00
|
|
|
-spec websocket_send_many([frame()], #state{})
|
|
|
|
-> ok | shutdown | {error, atom()}.
|
2012-10-11 21:46:43 +02:00
|
|
|
websocket_send_many([], _) ->
|
|
|
|
ok;
|
|
|
|
websocket_send_many([Frame|Tail], State) ->
|
2012-04-08 11:57:30 +02:00
|
|
|
case websocket_send(Frame, State) of
|
|
|
|
ok -> websocket_send_many(Tail, State);
|
2012-12-02 21:37:24 +01:00
|
|
|
shutdown -> shutdown;
|
2012-04-08 11:57:30 +02:00
|
|
|
Error -> Error
|
|
|
|
end.
|
2012-10-11 21:46:43 +02:00
|
|
|
|
2013-01-17 16:22:05 +01:00
|
|
|
-spec websocket_close(#state{}, Req, any(),
|
|
|
|
{atom(), atom()} | {remote, close_code(), binary()})
|
2013-01-03 22:47:51 +01:00
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
when Req::cowboy_req:req().
|
2012-09-15 21:09:12 +02:00
|
|
|
websocket_close(State=#state{socket=Socket, transport=Transport},
|
|
|
|
Req, HandlerState, Reason) ->
|
2013-01-14 16:20:33 +01:00
|
|
|
case Reason of
|
|
|
|
{normal, _} ->
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, 8:4, 0:1, 2:7, 1000:16 >>);
|
|
|
|
{error, badframe} ->
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, 8:4, 0:1, 2:7, 1002:16 >>);
|
|
|
|
{error, badencoding} ->
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, 8:4, 0:1, 2:7, 1007:16 >>);
|
|
|
|
{error, handler} ->
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, 8:4, 0:1, 2:7, 1011:16 >>);
|
|
|
|
{remote, closed} ->
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, 8:4, 0:8 >>);
|
|
|
|
{remote, Code, _} ->
|
|
|
|
Transport:send(Socket, << 1:1, 0:3, 8:4, 0:1, 2:7, Code:16 >>)
|
|
|
|
end,
|
2011-04-14 21:21:17 +02:00
|
|
|
handler_terminate(State, Req, HandlerState, Reason).
|
|
|
|
|
2013-01-03 22:47:51 +01:00
|
|
|
-spec handler_terminate(#state{}, Req, any(), atom() | {atom(), atom()})
|
|
|
|
-> {ok, Req, cowboy_middleware:env()}
|
|
|
|
when Req::cowboy_req:req().
|
|
|
|
handler_terminate(#state{env=Env, handler=Handler, handler_opts=HandlerOpts},
|
2011-05-27 12:32:02 +02:00
|
|
|
Req, HandlerState, TerminateReason) ->
|
|
|
|
try
|
|
|
|
Handler:websocket_terminate(TerminateReason, Req, HandlerState)
|
|
|
|
catch Class:Reason ->
|
2012-09-15 20:33:57 +02:00
|
|
|
PLReq = cowboy_req:to_list(Req),
|
2011-05-27 12:32:02 +02:00
|
|
|
error_logger:error_msg(
|
2012-12-13 03:38:38 -05:00
|
|
|
"** Cowboy handler ~p terminating in ~p/~p~n"
|
2011-05-27 12:32:02 +02:00
|
|
|
" for the reason ~p:~p~n** Initial reason was ~p~n"
|
|
|
|
"** Options were ~p~n** Handler state was ~p~n"
|
|
|
|
"** Request was ~p~n** Stacktrace: ~p~n~n",
|
2013-01-03 22:47:51 +01:00
|
|
|
[Handler, websocket_terminate, 3, Class, Reason, TerminateReason,
|
|
|
|
HandlerOpts, HandlerState, PLReq, erlang:get_stacktrace()])
|
2011-12-08 18:30:13 +01:00
|
|
|
end,
|
2013-01-03 22:47:51 +01:00
|
|
|
{ok, Req, [{result, closed}|Env]}.
|
2011-06-27 13:02:07 +01:00
|
|
|
|
2013-01-10 21:58:38 +01:00
|
|
|
-spec payload_length_to_binary(0..16#7fffffffffffffff)
|
2011-08-23 16:24:02 +02:00
|
|
|
-> << _:7 >> | << _:23 >> | << _:71 >>.
|
2013-01-10 21:58:38 +01:00
|
|
|
payload_length_to_binary(N) ->
|
2011-08-23 16:24:02 +02:00
|
|
|
case N of
|
|
|
|
N when N =< 125 -> << N:7 >>;
|
|
|
|
N when N =< 16#ffff -> << 126:7, N:16 >>;
|
|
|
|
N when N =< 16#7fffffffffffffff -> << 127:7, N:64 >>
|
|
|
|
end.
|