cowboy_websocket.erl 25 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589
  1. %% Copyright (c) 2011-2012, Loïc Hoguin <essen@ninenines.eu>
  2. %%
  3. %% Permission to use, copy, modify, and/or distribute this software for any
  4. %% purpose with or without fee is hereby granted, provided that the above
  5. %% copyright notice and this permission notice appear in all copies.
  6. %%
  7. %% THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  8. %% WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  9. %% MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  10. %% ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  11. %% WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  12. %% ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  13. %% OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  14. %% @doc WebSocket protocol implementation.
  15. -module(cowboy_websocket).
  16. %% API.
  17. -export([upgrade/4]).
  18. %% Internal.
  19. -export([handler_loop/4]).
  20. -type opcode() :: 0 | 1 | 2 | 8 | 9 | 10.
  21. -type mask_key() :: 0..16#ffffffff.
  22. %% The websocket_data/4 function may be called multiple times for a message.
  23. %% The websocket_dispatch/4 function is only called once for each message.
  24. -type frag_state() ::
  25. undefined | %% no fragmentation has been seen.
  26. {nofin, opcode()} | %% first fragment has been seen.
  27. {nofin, opcode(), binary()} | %% first fragment has been unmasked.
  28. {fin, opcode(), binary()}. %% last fragment has been seen.
  29. -record(state, {
  30. socket = undefined :: inet:socket(),
  31. transport = undefined :: module(),
  32. version :: 0 | 7 | 8 | 13,
  33. handler :: module(),
  34. opts :: any(),
  35. challenge = undefined :: undefined | binary() | {binary(), binary()},
  36. timeout = infinity :: timeout(),
  37. timeout_ref = undefined :: undefined | reference(),
  38. messages = undefined :: undefined | {atom(), atom(), atom()},
  39. hibernate = false :: boolean(),
  40. eop :: undefined | tuple(), %% hixie-76 specific.
  41. origin = undefined :: undefined | binary(), %% hixie-76 specific.
  42. frag_state = undefined :: frag_state()
  43. }).
  44. %% @doc Upgrade a HTTP request to the WebSocket protocol.
  45. %%
  46. %% You do not need to call this function manually. To upgrade to the WebSocket
  47. %% protocol, you simply need to return <em>{upgrade, protocol, {@module}}</em>
  48. %% in your <em>cowboy_http_handler:init/3</em> handler function.
  49. -spec upgrade(pid(), module(), any(), cowboy_req:req()) -> closed.
  50. upgrade(ListenerPid, Handler, Opts, Req) ->
  51. ranch_listener:remove_connection(ListenerPid),
  52. {ok, Transport, Socket} = cowboy_req:transport(Req),
  53. State = #state{socket=Socket, transport=Transport,
  54. handler=Handler, opts=Opts},
  55. case catch websocket_upgrade(State, Req) of
  56. {ok, State2, Req2} -> handler_init(State2, Req2);
  57. {'EXIT', _Reason} -> upgrade_error(Req)
  58. end.
  59. -spec websocket_upgrade(#state{}, Req)
  60. -> {ok, #state{}, Req} when Req::cowboy_req:req().
  61. websocket_upgrade(State, Req) ->
  62. {ok, ConnTokens, Req2}
  63. = cowboy_req:parse_header(<<"connection">>, Req),
  64. true = lists:member(<<"upgrade">>, ConnTokens),
  65. %% @todo Should probably send a 426 if the Upgrade header is missing.
  66. {ok, [<<"websocket">>], Req3}
  67. = cowboy_req:parse_header(<<"upgrade">>, Req2),
  68. {Version, Req4} = cowboy_req:header(<<"sec-websocket-version">>, Req3),
  69. websocket_upgrade(Version, State, Req4).
  70. %% @todo Handle the Sec-Websocket-Protocol header.
  71. %% @todo Reply a proper error, don't die, if a required header is undefined.
  72. -spec websocket_upgrade(undefined | <<_:8>>, #state{}, Req)
  73. -> {ok, #state{}, Req} when Req::cowboy_req:req().
  74. %% No version given. Assuming hixie-76 draft.
  75. %%
  76. %% We need to wait to send a reply back before trying to read the
  77. %% third part of the challenge key, because proxies will wait for
  78. %% a reply before sending it. Therefore we calculate the challenge
  79. %% key only in websocket_handshake/3.
  80. websocket_upgrade(undefined, State, Req) ->
  81. {Origin, Req2} = cowboy_req:header(<<"origin">>, Req),
  82. {Key1, Req3} = cowboy_req:header(<<"sec-websocket-key1">>, Req2),
  83. {Key2, Req4} = cowboy_req:header(<<"sec-websocket-key2">>, Req3),
  84. false = lists:member(undefined, [Origin, Key1, Key2]),
  85. EOP = binary:compile_pattern(<< 255 >>),
  86. {ok, State#state{version=0, origin=Origin, challenge={Key1, Key2},
  87. eop=EOP}, cowboy_req:set_meta(websocket_version, 0, Req4)};
  88. %% Versions 7 and 8. Implementation follows the hybi 7 through 17 drafts.
  89. websocket_upgrade(Version, State, Req)
  90. when Version =:= <<"7">>; Version =:= <<"8">>;
  91. Version =:= <<"13">> ->
  92. {Key, Req2} = cowboy_req:header(<<"sec-websocket-key">>, Req),
  93. false = Key =:= undefined,
  94. Challenge = hybi_challenge(Key),
  95. IntVersion = list_to_integer(binary_to_list(Version)),
  96. {ok, State#state{version=IntVersion, challenge=Challenge},
  97. cowboy_req:set_meta(websocket_version, IntVersion, Req2)}.
  98. -spec handler_init(#state{}, cowboy_req:req()) -> closed.
  99. handler_init(State=#state{transport=Transport, handler=Handler, opts=Opts},
  100. Req) ->
  101. try Handler:websocket_init(Transport:name(), Req, Opts) of
  102. {ok, Req2, HandlerState} ->
  103. websocket_handshake(State, Req2, HandlerState);
  104. {ok, Req2, HandlerState, hibernate} ->
  105. websocket_handshake(State#state{hibernate=true},
  106. Req2, HandlerState);
  107. {ok, Req2, HandlerState, Timeout} ->
  108. websocket_handshake(State#state{timeout=Timeout},
  109. Req2, HandlerState);
  110. {ok, Req2, HandlerState, Timeout, hibernate} ->
  111. websocket_handshake(State#state{timeout=Timeout,
  112. hibernate=true}, Req2, HandlerState);
  113. {shutdown, Req2} ->
  114. cowboy_req:ensure_response(Req2, 400),
  115. closed
  116. catch Class:Reason ->
  117. upgrade_error(Req),
  118. PLReq = cowboy_req:to_list(Req),
  119. error_logger:error_msg(
  120. "** Handler ~p terminating in websocket_init/3~n"
  121. " for the reason ~p:~p~n** Options were ~p~n"
  122. "** Request was ~p~n** Stacktrace: ~p~n~n",
  123. [Handler, Class, Reason, Opts, PLReq, erlang:get_stacktrace()])
  124. end.
  125. -spec upgrade_error(cowboy_req:req()) -> closed.
  126. upgrade_error(Req) ->
  127. receive
  128. {cowboy_req, resp_sent} -> closed
  129. after 0 ->
  130. _ = cowboy_req:reply(400, [], [], Req),
  131. closed
  132. end.
  133. -spec websocket_handshake(#state{}, cowboy_req:req(), any()) -> closed.
  134. websocket_handshake(State=#state{socket=Socket, transport=Transport,
  135. version=0, origin=Origin, challenge={Key1, Key2}},
  136. Req, HandlerState) ->
  137. {<< "http", Location/binary >>, Req1} = cowboy_req:url(Req),
  138. {ok, Req2} = cowboy_req:upgrade_reply(
  139. <<"101 WebSocket Protocol Handshake">>,
  140. [{<<"Upgrade">>, <<"WebSocket">>},
  141. {<<"Sec-Websocket-Location">>, << "ws", Location/binary >>},
  142. {<<"Sec-Websocket-Origin">>, Origin}],
  143. Req1),
  144. %% Flush the resp_sent message before moving on.
  145. receive {cowboy_req, resp_sent} -> ok after 0 -> ok end,
  146. %% We replied with a proper response. Proxies should be happy enough,
  147. %% we can now read the 8 last bytes of the challenge keys and send
  148. %% the challenge response directly to the socket.
  149. %%
  150. %% We use a trick here to read exactly 8 bytes of the body regardless
  151. %% of what's in the buffer.
  152. {ok, Req3} = cowboy_req:init_stream(
  153. fun cowboy_http:te_identity/2, {0, 8},
  154. fun cowboy_http:ce_identity/1, Req2),
  155. case cowboy_req:body(Req3) of
  156. {ok, Key3, Req4} ->
  157. Challenge = hixie76_challenge(Key1, Key2, Key3),
  158. Transport:send(Socket, Challenge),
  159. handler_before_loop(State#state{messages=Transport:messages()},
  160. Req4, HandlerState, <<>>);
  161. _Any ->
  162. closed %% If an error happened reading the body, stop there.
  163. end;
  164. websocket_handshake(State=#state{transport=Transport, challenge=Challenge},
  165. Req, HandlerState) ->
  166. {ok, Req2} = cowboy_req:upgrade_reply(
  167. 101,
  168. [{<<"Upgrade">>, <<"websocket">>},
  169. {<<"Sec-Websocket-Accept">>, Challenge}],
  170. Req),
  171. %% Flush the resp_sent message before moving on.
  172. receive {cowboy_req, resp_sent} -> ok after 0 -> ok end,
  173. handler_before_loop(State#state{messages=Transport:messages()},
  174. Req2, HandlerState, <<>>).
  175. -spec handler_before_loop(#state{}, cowboy_req:req(), any(), binary()) -> closed.
  176. handler_before_loop(State=#state{
  177. socket=Socket, transport=Transport, hibernate=true},
  178. Req, HandlerState, SoFar) ->
  179. Transport:setopts(Socket, [{active, once}]),
  180. State2 = handler_loop_timeout(State),
  181. catch erlang:hibernate(?MODULE, handler_loop,
  182. [State2#state{hibernate=false}, Req, HandlerState, SoFar]),
  183. closed;
  184. handler_before_loop(State=#state{socket=Socket, transport=Transport},
  185. Req, HandlerState, SoFar) ->
  186. Transport:setopts(Socket, [{active, once}]),
  187. State2 = handler_loop_timeout(State),
  188. handler_loop(State2, Req, HandlerState, SoFar).
  189. -spec handler_loop_timeout(#state{}) -> #state{}.
  190. handler_loop_timeout(State=#state{timeout=infinity}) ->
  191. State#state{timeout_ref=undefined};
  192. handler_loop_timeout(State=#state{timeout=Timeout, timeout_ref=PrevRef}) ->
  193. _ = case PrevRef of undefined -> ignore; PrevRef ->
  194. erlang:cancel_timer(PrevRef) end,
  195. TRef = erlang:start_timer(Timeout, self(), ?MODULE),
  196. State#state{timeout_ref=TRef}.
  197. %% @private
  198. -spec handler_loop(#state{}, cowboy_req:req(), any(), binary()) -> closed.
  199. handler_loop(State=#state{
  200. socket=Socket, messages={OK, Closed, Error}, timeout_ref=TRef},
  201. Req, HandlerState, SoFar) ->
  202. receive
  203. {OK, Socket, Data} ->
  204. websocket_data(State, Req, HandlerState,
  205. << SoFar/binary, Data/binary >>);
  206. {Closed, Socket} ->
  207. handler_terminate(State, Req, HandlerState, {error, closed});
  208. {Error, Socket, Reason} ->
  209. handler_terminate(State, Req, HandlerState, {error, Reason});
  210. {timeout, TRef, ?MODULE} ->
  211. websocket_close(State, Req, HandlerState, {normal, timeout});
  212. {timeout, OlderTRef, ?MODULE} when is_reference(OlderTRef) ->
  213. handler_loop(State, Req, HandlerState, SoFar);
  214. Message ->
  215. handler_call(State, Req, HandlerState,
  216. SoFar, websocket_info, Message, fun handler_before_loop/4)
  217. end.
  218. -spec websocket_data(#state{}, cowboy_req:req(), any(), binary()) -> closed.
  219. %% No more data.
  220. websocket_data(State, Req, HandlerState, <<>>) ->
  221. handler_before_loop(State, Req, HandlerState, <<>>);
  222. %% hixie-76 close frame.
  223. websocket_data(State=#state{version=0}, Req, HandlerState,
  224. << 255, 0, _Rest/binary >>) ->
  225. websocket_close(State, Req, HandlerState, {normal, closed});
  226. %% hixie-76 data frame. We only support the frame type 0, same as the specs.
  227. websocket_data(State=#state{version=0, eop=EOP}, Req, HandlerState,
  228. Data = << 0, _/binary >>) ->
  229. case binary:match(Data, EOP) of
  230. {Pos, 1} ->
  231. Pos2 = Pos - 1,
  232. << 0, Payload:Pos2/binary, 255, Rest/bits >> = Data,
  233. handler_call(State, Req, HandlerState,
  234. Rest, websocket_handle, {text, Payload}, fun websocket_data/4);
  235. nomatch ->
  236. %% @todo We probably should allow limiting frame length.
  237. handler_before_loop(State, Req, HandlerState, Data)
  238. end;
  239. %% incomplete hybi data frame.
  240. websocket_data(State=#state{version=Version}, Req, HandlerState, Data)
  241. when Version =/= 0, byte_size(Data) =:= 1 ->
  242. handler_before_loop(State, Req, HandlerState, Data);
  243. %% 7 bit payload length prefix exists
  244. websocket_data(State, Req, HandlerState,
  245. << Fin:1, Rsv:3, Opcode:4, Mask:1, PayloadLen:7, Rest/bits >>
  246. = Data) when PayloadLen < 126 ->
  247. websocket_data(State, Req, HandlerState,
  248. Fin, Rsv, Opcode, Mask, PayloadLen, Rest, Data);
  249. %% 7+16 bits payload length prefix exists
  250. websocket_data(State, Req, HandlerState,
  251. << Fin:1, Rsv:3, Opcode:4, Mask:1, 126:7, PayloadLen:16, Rest/bits >>
  252. = Data) when PayloadLen > 125 ->
  253. websocket_data(State, Req, HandlerState,
  254. Fin, Rsv, Opcode, Mask, PayloadLen, Rest, Data);
  255. %% 7+16 bits payload length prefix missing
  256. websocket_data(State, Req, HandlerState,
  257. << _Fin:1, _Rsv:3, _Opcode:4, _Mask:1, 126:7, Rest/bits >>
  258. = Data) when byte_size(Rest) < 2 ->
  259. handler_before_loop(State, Req, HandlerState, Data);
  260. %% 7+64 bits payload length prefix exists
  261. websocket_data(State, Req, HandlerState,
  262. << Fin:1, Rsv:3, Opcode:4, Mask:1, 127:7, 0:1, PayloadLen:63,
  263. Rest/bits >> = Data) when PayloadLen > 16#FFFF ->
  264. websocket_data(State, Req, HandlerState,
  265. Fin, Rsv, Opcode, Mask, PayloadLen, Rest, Data);
  266. %% 7+64 bits payload length prefix missing
  267. websocket_data(State, Req, HandlerState,
  268. << _Fin:1, _Rsv:3, _Opcode:4, _Mask:1, 127:7, Rest/bits >>
  269. = Data) when byte_size(Rest) < 8 ->
  270. handler_before_loop(State, Req, HandlerState, Data);
  271. %% invalid payload length prefix.
  272. websocket_data(State, Req, HandlerState, _Data) ->
  273. websocket_close(State, Req, HandlerState, {error, badframe}).
  274. -spec websocket_data(#state{}, cowboy_req:req(), any(), non_neg_integer(),
  275. non_neg_integer(), non_neg_integer(), non_neg_integer(),
  276. non_neg_integer(), binary(), binary()) -> closed.
  277. %% A fragmented message MUST start a non-zero opcode.
  278. websocket_data(State=#state{frag_state=undefined}, Req, HandlerState,
  279. _Fin=0, _Rsv=0, _Opcode=0, _Mask, _PayloadLen, _Rest, _Buffer) ->
  280. websocket_close(State, Req, HandlerState, {error, badframe});
  281. %% A control message MUST NOT be fragmented.
  282. websocket_data(State, Req, HandlerState, _Fin=0, _Rsv=0, Opcode, _Mask,
  283. _PayloadLen, _Rest, _Buffer) when Opcode >= 8 ->
  284. websocket_close(State, Req, HandlerState, {error, badframe});
  285. %% The opcode is only included in the first message fragment.
  286. websocket_data(State=#state{frag_state=undefined}, Req, HandlerState,
  287. _Fin=0, _Rsv=0, Opcode, Mask, PayloadLen, Rest, Data) ->
  288. websocket_before_unmask(
  289. State#state{frag_state={nofin, Opcode}}, Req, HandlerState,
  290. Data, Rest, 0, Mask, PayloadLen);
  291. %% non-control opcode when expecting control message or next fragment.
  292. websocket_data(State=#state{frag_state={nofin, _, _}}, Req, HandlerState, _Fin,
  293. _Rsv=0, Opcode, _Mask, _Ln, _Rest, _Data) when Opcode > 0, Opcode < 8 ->
  294. websocket_close(State, Req, HandlerState, {error, badframe});
  295. %% If the first message fragment was incomplete, retry unmasking.
  296. websocket_data(State=#state{frag_state={nofin, Opcode}}, Req, HandlerState,
  297. _Fin=0, _Rsv=0, Opcode, Mask, PayloadLen, Rest, Data) ->
  298. websocket_before_unmask(
  299. State#state{frag_state={nofin, Opcode}}, Req, HandlerState,
  300. Data, Rest, 0, Mask, PayloadLen);
  301. %% if the opcode is zero and the fin flag is zero, unmask and await next.
  302. websocket_data(State=#state{frag_state={nofin, _Opcode, _Payloads}}, Req,
  303. HandlerState, _Fin=0, _Rsv=0, _Opcode2=0, Mask, PayloadLen, Rest,
  304. Data) ->
  305. websocket_before_unmask(
  306. State, Req, HandlerState, Data, Rest, 0, Mask, PayloadLen);
  307. %% when the last fragment is seen. Update the fragmentation status.
  308. websocket_data(State=#state{frag_state={nofin, Opcode, Payloads}}, Req,
  309. HandlerState, _Fin=1, _Rsv=0, _Opcode=0, Mask, PayloadLen, Rest,
  310. Data) ->
  311. websocket_before_unmask(
  312. State#state{frag_state={fin, Opcode, Payloads}},
  313. Req, HandlerState, Data, Rest, 0, Mask, PayloadLen);
  314. %% control messages MUST NOT use 7+16 bits or 7+64 bits payload length prefixes
  315. websocket_data(State, Req, HandlerState, _Fin, _Rsv, Opcode, _Mask, PayloadLen,
  316. _Rest, _Data) when Opcode >= 8, PayloadLen > 125 ->
  317. websocket_close(State, Req, HandlerState, {error, badframe});
  318. %% unfragmented message. unmask and dispatch the message.
  319. websocket_data(State=#state{version=Version}, Req, HandlerState, _Fin=1, _Rsv=0,
  320. Opcode, Mask, PayloadLen, Rest, Data) when Version =/= 0 ->
  321. websocket_before_unmask(
  322. State, Req, HandlerState, Data, Rest, Opcode, Mask, PayloadLen);
  323. %% Something was wrong with the frame. Close the connection.
  324. websocket_data(State, Req, HandlerState, _Fin, _Rsv, _Opcode, _Mask,
  325. _PayloadLen, _Rest, _Data) ->
  326. websocket_close(State, Req, HandlerState, {error, badframe}).
  327. %% hybi routing depending on whether unmasking is needed.
  328. -spec websocket_before_unmask(#state{}, cowboy_req:req(), any(), binary(),
  329. binary(), opcode(), 0 | 1, non_neg_integer() | undefined) -> closed.
  330. websocket_before_unmask(State, Req, HandlerState, Data,
  331. Rest, Opcode, Mask, PayloadLen) ->
  332. case {Mask, PayloadLen} of
  333. {0, 0} ->
  334. websocket_dispatch(State, Req, HandlerState, Rest, Opcode, <<>>);
  335. {1, N} when N + 4 > byte_size(Rest); N =:= undefined ->
  336. %% @todo We probably should allow limiting frame length.
  337. handler_before_loop(State, Req, HandlerState, Data);
  338. {1, _N} ->
  339. << MaskKey:32, Payload:PayloadLen/binary, Rest2/bits >> = Rest,
  340. websocket_unmask(State, Req, HandlerState, Rest2,
  341. Opcode, Payload, MaskKey)
  342. end.
  343. %% hybi unmasking.
  344. -spec websocket_unmask(#state{}, cowboy_req:req(), any(), binary(),
  345. opcode(), binary(), mask_key()) -> closed.
  346. websocket_unmask(State, Req, HandlerState, RemainingData,
  347. Opcode, Payload, MaskKey) ->
  348. websocket_unmask(State, Req, HandlerState, RemainingData,
  349. Opcode, Payload, MaskKey, <<>>).
  350. -spec websocket_unmask(#state{}, cowboy_req:req(), any(), binary(),
  351. opcode(), binary(), mask_key(), binary()) -> closed.
  352. websocket_unmask(State, Req, HandlerState, RemainingData,
  353. Opcode, << O:32, Rest/bits >>, MaskKey, Acc) ->
  354. T = O bxor MaskKey,
  355. websocket_unmask(State, Req, HandlerState, RemainingData,
  356. Opcode, Rest, MaskKey, << Acc/binary, T:32 >>);
  357. websocket_unmask(State, Req, HandlerState, RemainingData,
  358. Opcode, << O:24 >>, MaskKey, Acc) ->
  359. << MaskKey2:24, _:8 >> = << MaskKey:32 >>,
  360. T = O bxor MaskKey2,
  361. websocket_dispatch(State, Req, HandlerState, RemainingData,
  362. Opcode, << Acc/binary, T:24 >>);
  363. websocket_unmask(State, Req, HandlerState, RemainingData,
  364. Opcode, << O:16 >>, MaskKey, Acc) ->
  365. << MaskKey2:16, _:16 >> = << MaskKey:32 >>,
  366. T = O bxor MaskKey2,
  367. websocket_dispatch(State, Req, HandlerState, RemainingData,
  368. Opcode, << Acc/binary, T:16 >>);
  369. websocket_unmask(State, Req, HandlerState, RemainingData,
  370. Opcode, << O:8 >>, MaskKey, Acc) ->
  371. << MaskKey2:8, _:24 >> = << MaskKey:32 >>,
  372. T = O bxor MaskKey2,
  373. websocket_dispatch(State, Req, HandlerState, RemainingData,
  374. Opcode, << Acc/binary, T:8 >>);
  375. websocket_unmask(State, Req, HandlerState, RemainingData,
  376. Opcode, <<>>, _MaskKey, Acc) ->
  377. websocket_dispatch(State, Req, HandlerState, RemainingData,
  378. Opcode, Acc).
  379. %% hybi dispatching.
  380. -spec websocket_dispatch(#state{}, cowboy_req:req(), any(), binary(),
  381. opcode(), binary()) -> closed.
  382. %% First frame of a fragmented message unmasked. Expect intermediate or last.
  383. websocket_dispatch(State=#state{frag_state={nofin, Opcode}}, Req, HandlerState,
  384. RemainingData, 0, Payload) ->
  385. websocket_data(State#state{frag_state={nofin, Opcode, Payload}},
  386. Req, HandlerState, RemainingData);
  387. %% Intermediate frame of a fragmented message unmasked. Add payload to buffer.
  388. websocket_dispatch(State=#state{frag_state={nofin, Opcode, Payloads}}, Req,
  389. HandlerState, RemainingData, 0, Payload) ->
  390. websocket_data(State#state{frag_state={nofin, Opcode,
  391. <<Payloads/binary, Payload/binary>>}}, Req, HandlerState,
  392. RemainingData);
  393. %% Last frame of a fragmented message unmasked. Dispatch to handler.
  394. websocket_dispatch(State=#state{frag_state={fin, Opcode, Payloads}}, Req,
  395. HandlerState, RemainingData, 0, Payload) ->
  396. websocket_dispatch(State#state{frag_state=undefined}, Req, HandlerState,
  397. RemainingData, Opcode, <<Payloads/binary, Payload/binary>>);
  398. %% Text frame.
  399. websocket_dispatch(State, Req, HandlerState, RemainingData, 1, Payload) ->
  400. handler_call(State, Req, HandlerState, RemainingData,
  401. websocket_handle, {text, Payload}, fun websocket_data/4);
  402. %% Binary frame.
  403. websocket_dispatch(State, Req, HandlerState, RemainingData, 2, Payload) ->
  404. handler_call(State, Req, HandlerState, RemainingData,
  405. websocket_handle, {binary, Payload}, fun websocket_data/4);
  406. %% Close control frame.
  407. %% @todo Handle the optional Payload.
  408. websocket_dispatch(State, Req, HandlerState, _RemainingData, 8, _Payload) ->
  409. websocket_close(State, Req, HandlerState, {normal, closed});
  410. %% Ping control frame. Send a pong back and forward the ping to the handler.
  411. websocket_dispatch(State=#state{socket=Socket, transport=Transport},
  412. Req, HandlerState, RemainingData, 9, Payload) ->
  413. Len = hybi_payload_length(byte_size(Payload)),
  414. Transport:send(Socket, << 1:1, 0:3, 10:4, 0:1, Len/bits, Payload/binary >>),
  415. handler_call(State, Req, HandlerState, RemainingData,
  416. websocket_handle, {ping, Payload}, fun websocket_data/4);
  417. %% Pong control frame.
  418. websocket_dispatch(State, Req, HandlerState, RemainingData, 10, Payload) ->
  419. handler_call(State, Req, HandlerState, RemainingData,
  420. websocket_handle, {pong, Payload}, fun websocket_data/4).
  421. -spec handler_call(#state{}, cowboy_req:req(), any(), binary(),
  422. atom(), any(), fun()) -> closed.
  423. handler_call(State=#state{handler=Handler, opts=Opts}, Req, HandlerState,
  424. RemainingData, Callback, Message, NextState) ->
  425. try Handler:Callback(Message, Req, HandlerState) of
  426. {ok, Req2, HandlerState2} ->
  427. NextState(State, Req2, HandlerState2, RemainingData);
  428. {ok, Req2, HandlerState2, hibernate} ->
  429. NextState(State#state{hibernate=true},
  430. Req2, HandlerState2, RemainingData);
  431. {reply, Payload, Req2, HandlerState2}
  432. when is_tuple(Payload) ->
  433. case websocket_send(Payload, State) of
  434. ok ->
  435. NextState(State, Req2, HandlerState2, RemainingData);
  436. {error, _} = Error ->
  437. handler_terminate(State, Req2, HandlerState2, Error)
  438. end;
  439. {reply, Payload, Req2, HandlerState2, hibernate}
  440. when is_tuple(Payload) ->
  441. case websocket_send(Payload, State) of
  442. ok ->
  443. NextState(State#state{hibernate=true},
  444. Req2, HandlerState2, RemainingData);
  445. {error, _} = Error ->
  446. handler_terminate(State, Req2, HandlerState2, Error)
  447. end;
  448. {reply, Payload, Req2, HandlerState2}
  449. when is_list(Payload) ->
  450. case websocket_send_many(Payload, State) of
  451. ok ->
  452. NextState(State, Req2, HandlerState2, RemainingData);
  453. {error, _} = Error ->
  454. handler_terminate(State, Req2, HandlerState2, Error)
  455. end;
  456. {reply, Payload, Req2, HandlerState2, hibernate}
  457. when is_list(Payload) ->
  458. case websocket_send_many(Payload, State) of
  459. ok ->
  460. NextState(State#state{hibernate=true},
  461. Req2, HandlerState2, RemainingData);
  462. {error, _} = Error ->
  463. handler_terminate(State, Req2, HandlerState2, Error)
  464. end;
  465. {shutdown, Req2, HandlerState2} ->
  466. websocket_close(State, Req2, HandlerState2, {normal, shutdown})
  467. catch Class:Reason ->
  468. PLReq = cowboy_req:to_list(Req),
  469. error_logger:error_msg(
  470. "** Handler ~p terminating in ~p/3~n"
  471. " for the reason ~p:~p~n** Message was ~p~n"
  472. "** Options were ~p~n** Handler state was ~p~n"
  473. "** Request was ~p~n** Stacktrace: ~p~n~n",
  474. [Handler, Callback, Class, Reason, Message, Opts,
  475. HandlerState, PLReq, erlang:get_stacktrace()]),
  476. websocket_close(State, Req, HandlerState, {error, handler})
  477. end.
  478. -spec websocket_send({text | binary | ping | pong, binary()}, #state{})
  479. -> ok | {error, atom()}.
  480. %% hixie-76 text frame.
  481. websocket_send({text, Payload}, #state{
  482. socket=Socket, transport=Transport, version=0}) ->
  483. Transport:send(Socket, [0, Payload, 255]);
  484. %% Ignore all unknown frame types for compatibility with hixie 76.
  485. websocket_send(_Any, #state{version=0}) ->
  486. ok;
  487. websocket_send({Type, Payload}, #state{socket=Socket, transport=Transport}) ->
  488. Opcode = case Type of
  489. text -> 1;
  490. binary -> 2;
  491. ping -> 9;
  492. pong -> 10
  493. end,
  494. Len = hybi_payload_length(iolist_size(Payload)),
  495. Transport:send(Socket, [<< 1:1, 0:3, Opcode:4, 0:1, Len/bits >>,
  496. Payload]).
  497. -spec websocket_send_many([{text | binary | ping | pong, binary()}], #state{})
  498. -> ok | {error, atom()}.
  499. websocket_send_many([], _) ->
  500. ok;
  501. websocket_send_many([Frame|Tail], State) ->
  502. case websocket_send(Frame, State) of
  503. ok -> websocket_send_many(Tail, State);
  504. Error -> Error
  505. end.
  506. -spec websocket_close(#state{}, cowboy_req:req(), any(), {atom(), atom()})
  507. -> closed.
  508. websocket_close(State=#state{socket=Socket, transport=Transport, version=0},
  509. Req, HandlerState, Reason) ->
  510. Transport:send(Socket, << 255, 0 >>),
  511. handler_terminate(State, Req, HandlerState, Reason);
  512. %% @todo Send a Payload? Using Reason is usually good but we're quite careless.
  513. websocket_close(State=#state{socket=Socket, transport=Transport},
  514. Req, HandlerState, Reason) ->
  515. Transport:send(Socket, << 1:1, 0:3, 8:4, 0:8 >>),
  516. handler_terminate(State, Req, HandlerState, Reason).
  517. -spec handler_terminate(#state{}, cowboy_req:req(),
  518. any(), atom() | {atom(), atom()}) -> closed.
  519. handler_terminate(#state{handler=Handler, opts=Opts},
  520. Req, HandlerState, TerminateReason) ->
  521. try
  522. Handler:websocket_terminate(TerminateReason, Req, HandlerState)
  523. catch Class:Reason ->
  524. PLReq = cowboy_req:to_list(Req),
  525. error_logger:error_msg(
  526. "** Handler ~p terminating in websocket_terminate/3~n"
  527. " for the reason ~p:~p~n** Initial reason was ~p~n"
  528. "** Options were ~p~n** Handler state was ~p~n"
  529. "** Request was ~p~n** Stacktrace: ~p~n~n",
  530. [Handler, Class, Reason, TerminateReason, Opts,
  531. HandlerState, PLReq, erlang:get_stacktrace()])
  532. end,
  533. closed.
  534. %% hixie-76 specific.
  535. -spec hixie76_challenge(binary(), binary(), binary()) -> binary().
  536. hixie76_challenge(Key1, Key2, Key3) ->
  537. IntKey1 = hixie76_key_to_integer(Key1),
  538. IntKey2 = hixie76_key_to_integer(Key2),
  539. erlang:md5(<< IntKey1:32, IntKey2:32, Key3/binary >>).
  540. -spec hixie76_key_to_integer(binary()) -> integer().
  541. hixie76_key_to_integer(Key) ->
  542. Number = list_to_integer([C || << C >> <= Key, C >= $0, C =< $9]),
  543. Spaces = length([C || << C >> <= Key, C =:= 32]),
  544. Number div Spaces.
  545. %% hybi specific.
  546. -spec hybi_challenge(binary()) -> binary().
  547. hybi_challenge(Key) ->
  548. Bin = << Key/binary, "258EAFA5-E914-47DA-95CA-C5AB0DC85B11" >>,
  549. base64:encode(crypto:sha(Bin)).
  550. -spec hybi_payload_length(0..16#7fffffffffffffff)
  551. -> << _:7 >> | << _:23 >> | << _:71 >>.
  552. hybi_payload_length(N) ->
  553. case N of
  554. N when N =< 125 -> << N:7 >>;
  555. N when N =< 16#ffff -> << 126:7, N:16 >>;
  556. N when N =< 16#7fffffffffffffff -> << 127:7, N:64 >>
  557. end.