cowboy_websocket.erl 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493
  1. %% Copyright (c) 2011-2017, 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. %% Cowboy supports versions 7 through 17 of the Websocket drafts.
  15. %% It also supports RFC6455, the proposed standard for Websocket.
  16. -module(cowboy_websocket).
  17. -behaviour(cowboy_sub_protocol).
  18. -export([upgrade/4]).
  19. -export([upgrade/5]).
  20. -export([takeover/7]).
  21. -export([loop/3]).
  22. -export([system_continue/3]).
  23. -export([system_terminate/4]).
  24. -export([system_code_change/4]).
  25. -type call_result(State) :: {ok, State}
  26. | {ok, State, hibernate}
  27. | {reply, cow_ws:frame() | [cow_ws:frame()], State}
  28. | {reply, cow_ws:frame() | [cow_ws:frame()], State, hibernate}
  29. | {stop, State}.
  30. -type terminate_reason() :: normal | stop | timeout
  31. | remote | {remote, cow_ws:close_code(), binary()}
  32. | {error, badencoding | badframe | closed | atom()}
  33. | {crash, error | exit | throw, any()}.
  34. -callback init(Req, any())
  35. -> {ok | module(), Req, any()}
  36. | {module(), Req, any(), any()}
  37. when Req::cowboy_req:req().
  38. -callback websocket_init(State)
  39. -> call_result(State) when State::any().
  40. -optional_callbacks([websocket_init/1]).
  41. -callback websocket_handle({text | binary | ping | pong, binary()}, State)
  42. -> call_result(State) when State::any().
  43. -callback websocket_info(any(), State)
  44. -> call_result(State) when State::any().
  45. -callback terminate(any(), cowboy_req:req(), any()) -> ok.
  46. -optional_callbacks([terminate/3]).
  47. -type opts() :: #{
  48. compress => boolean(),
  49. idle_timeout => timeout(),
  50. max_frame_size => non_neg_integer() | infinity,
  51. req_filter => fun((cowboy_req:req()) -> map())
  52. }.
  53. -export_type([opts/0]).
  54. -record(state, {
  55. parent :: undefined | pid(),
  56. ref :: ranch:ref(),
  57. socket = undefined :: inet:socket() | undefined,
  58. transport = undefined :: module(),
  59. handler :: module(),
  60. key = undefined :: undefined | binary(),
  61. timeout = infinity :: timeout(),
  62. timeout_ref = undefined :: undefined | reference(),
  63. compress = false :: boolean(),
  64. max_frame_size :: non_neg_integer() | infinity,
  65. messages = undefined :: undefined | {atom(), atom(), atom()},
  66. hibernate = false :: boolean(),
  67. frag_state = undefined :: cow_ws:frag_state(),
  68. frag_buffer = <<>> :: binary(),
  69. utf8_state = 0 :: cow_ws:utf8_state(),
  70. extensions = #{} :: map(),
  71. req = #{} :: map()
  72. }).
  73. %% Stream process.
  74. -spec upgrade(Req, Env, module(), any())
  75. -> {ok, Req, Env}
  76. when Req::cowboy_req:req(), Env::cowboy_middleware:env().
  77. upgrade(Req, Env, Handler, HandlerState) ->
  78. upgrade(Req, Env, Handler, HandlerState, #{}).
  79. -spec upgrade(Req, Env, module(), any(), opts())
  80. -> {ok, Req, Env}
  81. when Req::cowboy_req:req(), Env::cowboy_middleware:env().
  82. %% @todo Immediately crash if a response has already been sent.
  83. %% @todo Error out if HTTP/2.
  84. upgrade(Req0, Env, Handler, HandlerState, Opts) ->
  85. Timeout = maps:get(idle_timeout, Opts, 60000),
  86. MaxFrameSize = maps:get(max_frame_size, Opts, infinity),
  87. Compress = maps:get(compress, Opts, false),
  88. FilteredReq = case maps:get(req_filter, Opts, undefined) of
  89. undefined -> maps:with([method, version, scheme, host, port, path, qs, peer], Req0);
  90. FilterFun -> FilterFun(Req0)
  91. end,
  92. State0 = #state{handler=Handler, timeout=Timeout, compress=Compress,
  93. max_frame_size=MaxFrameSize, req=FilteredReq},
  94. try websocket_upgrade(State0, Req0) of
  95. {ok, State, Req} ->
  96. websocket_handshake(State, Req, HandlerState, Env);
  97. {error, upgrade_required} ->
  98. {ok, cowboy_req:reply(426, #{
  99. <<"connection">> => <<"upgrade">>,
  100. <<"upgrade">> => <<"websocket">>
  101. }, Req0), Env}
  102. catch _:_ ->
  103. %% @todo Probably log something here?
  104. %% @todo Test that we can have 2 /ws 400 status code in a row on the same connection.
  105. %% @todo Does this even work?
  106. {ok, cowboy_req:reply(400, Req0), Env}
  107. end.
  108. websocket_upgrade(State, Req) ->
  109. ConnTokens = cowboy_req:parse_header(<<"connection">>, Req, []),
  110. case lists:member(<<"upgrade">>, ConnTokens) of
  111. false ->
  112. {error, upgrade_required};
  113. true ->
  114. UpgradeTokens = cowboy_req:parse_header(<<"upgrade">>, Req, []),
  115. case lists:member(<<"websocket">>, UpgradeTokens) of
  116. false ->
  117. {error, upgrade_required};
  118. true ->
  119. Version = cowboy_req:header(<<"sec-websocket-version">>, Req),
  120. IntVersion = binary_to_integer(Version),
  121. true = (IntVersion =:= 7) orelse (IntVersion =:= 8)
  122. orelse (IntVersion =:= 13),
  123. Key = cowboy_req:header(<<"sec-websocket-key">>, Req),
  124. false = Key =:= undefined,
  125. websocket_extensions(State#state{key=Key}, Req#{websocket_version => IntVersion})
  126. end
  127. end.
  128. websocket_extensions(State=#state{compress=Compress}, Req) ->
  129. %% @todo We want different options for this. For example
  130. %% * compress everything auto
  131. %% * compress only text auto
  132. %% * compress only binary auto
  133. %% * compress nothing auto (but still enabled it)
  134. %% * disable compression
  135. case {Compress, cowboy_req:parse_header(<<"sec-websocket-extensions">>, Req)} of
  136. {true, Extensions} when Extensions =/= undefined ->
  137. websocket_extensions(State, Req, Extensions, []);
  138. _ ->
  139. {ok, State, Req}
  140. end.
  141. websocket_extensions(State, Req, [], []) ->
  142. {ok, State, Req};
  143. websocket_extensions(State, Req, [], [<<", ">>|RespHeader]) ->
  144. {ok, State, cowboy_req:set_resp_header(<<"sec-websocket-extensions">>, lists:reverse(RespHeader), Req)};
  145. websocket_extensions(State=#state{extensions=Extensions}, Req=#{pid := Pid},
  146. [{<<"permessage-deflate">>, Params}|Tail], RespHeader) ->
  147. %% @todo Make deflate options configurable.
  148. Opts = #{level => best_compression, mem_level => 8, strategy => default},
  149. try cow_ws:negotiate_permessage_deflate(Params, Extensions, Opts#{owner => Pid}) of
  150. {ok, RespExt, Extensions2} ->
  151. websocket_extensions(State#state{extensions=Extensions2},
  152. Req, Tail, [<<", ">>, RespExt|RespHeader]);
  153. ignore ->
  154. websocket_extensions(State, Req, Tail, RespHeader)
  155. catch exit:{error, incompatible_zlib_version, _} ->
  156. websocket_extensions(State, Req, Tail, RespHeader)
  157. end;
  158. websocket_extensions(State=#state{extensions=Extensions}, Req=#{pid := Pid},
  159. [{<<"x-webkit-deflate-frame">>, Params}|Tail], RespHeader) ->
  160. %% @todo Make deflate options configurable.
  161. Opts = #{level => best_compression, mem_level => 8, strategy => default},
  162. try cow_ws:negotiate_x_webkit_deflate_frame(Params, Extensions, Opts#{owner => Pid}) of
  163. {ok, RespExt, Extensions2} ->
  164. websocket_extensions(State#state{extensions=Extensions2},
  165. Req, Tail, [<<", ">>, RespExt|RespHeader]);
  166. ignore ->
  167. websocket_extensions(State, Req, Tail, RespHeader)
  168. catch exit:{error, incompatible_zlib_version, _} ->
  169. websocket_extensions(State, Req, Tail, RespHeader)
  170. end;
  171. websocket_extensions(State, Req, [_|Tail], RespHeader) ->
  172. websocket_extensions(State, Req, Tail, RespHeader).
  173. -spec websocket_handshake(#state{}, Req, any(), Env)
  174. -> {ok, Req, Env}
  175. when Req::cowboy_req:req(), Env::cowboy_middleware:env().
  176. websocket_handshake(State=#state{key=Key},
  177. Req=#{pid := Pid, streamid := StreamID}, HandlerState, Env) ->
  178. Challenge = base64:encode(crypto:hash(sha,
  179. << Key/binary, "258EAFA5-E914-47DA-95CA-C5AB0DC85B11" >>)),
  180. %% @todo We don't want date and server headers.
  181. Headers = cowboy_req:response_headers(#{
  182. <<"connection">> => <<"Upgrade">>,
  183. <<"upgrade">> => <<"websocket">>,
  184. <<"sec-websocket-accept">> => Challenge
  185. }, Req),
  186. Pid ! {{Pid, StreamID}, {switch_protocol, Headers, ?MODULE, {State, HandlerState}}},
  187. {ok, Req, Env}.
  188. %% Connection process.
  189. -record(ps_header, {
  190. buffer = <<>> :: binary()
  191. }).
  192. -record(ps_payload, {
  193. type :: cow_ws:frame_type(),
  194. len :: non_neg_integer(),
  195. mask_key :: cow_ws:mask_key(),
  196. rsv :: cow_ws:rsv(),
  197. close_code = undefined :: undefined | cow_ws:close_code(),
  198. unmasked = <<>> :: binary(),
  199. unmasked_len = 0 :: non_neg_integer(),
  200. buffer = <<>> :: binary()
  201. }).
  202. -type parse_state() :: #ps_header{} | #ps_payload{}.
  203. -spec takeover(pid(), ranch:ref(), inet:socket(), module(), any(), binary(),
  204. {#state{}, any()}) -> no_return().
  205. takeover(Parent, Ref, Socket, Transport, _Opts, Buffer,
  206. {State0=#state{handler=Handler}, HandlerState}) ->
  207. %% @todo We should have an option to disable this behavior.
  208. ranch:remove_connection(Ref),
  209. State = loop_timeout(State0#state{parent=Parent,
  210. ref=Ref, socket=Socket, transport=Transport,
  211. key=undefined, messages=Transport:messages()}),
  212. case erlang:function_exported(Handler, websocket_init, 1) of
  213. true -> handler_call(State, HandlerState, #ps_header{buffer=Buffer},
  214. websocket_init, undefined, fun before_loop/3);
  215. false -> before_loop(State, HandlerState, #ps_header{buffer=Buffer})
  216. end.
  217. before_loop(State=#state{socket=Socket, transport=Transport, hibernate=true},
  218. HandlerState, ParseState) ->
  219. Transport:setopts(Socket, [{active, once}]),
  220. proc_lib:hibernate(?MODULE, loop,
  221. [State#state{hibernate=false}, HandlerState, ParseState]);
  222. before_loop(State=#state{socket=Socket, transport=Transport},
  223. HandlerState, ParseState) ->
  224. Transport:setopts(Socket, [{active, once}]),
  225. loop(State, HandlerState, ParseState).
  226. -spec loop_timeout(#state{}) -> #state{}.
  227. loop_timeout(State=#state{timeout=infinity}) ->
  228. State#state{timeout_ref=undefined};
  229. loop_timeout(State=#state{timeout=Timeout, timeout_ref=PrevRef}) ->
  230. _ = case PrevRef of undefined -> ignore; PrevRef ->
  231. erlang:cancel_timer(PrevRef) end,
  232. TRef = erlang:start_timer(Timeout, self(), ?MODULE),
  233. State#state{timeout_ref=TRef}.
  234. -spec loop(#state{}, any(), parse_state()) -> no_return().
  235. loop(State=#state{parent=Parent, socket=Socket, messages={OK, Closed, Error},
  236. timeout_ref=TRef}, HandlerState, ParseState) ->
  237. receive
  238. {OK, Socket, Data} ->
  239. State2 = loop_timeout(State),
  240. parse(State2, HandlerState, ParseState, Data);
  241. {Closed, Socket} ->
  242. terminate(State, HandlerState, {error, closed});
  243. {Error, Socket, Reason} ->
  244. terminate(State, HandlerState, {error, Reason});
  245. {timeout, TRef, ?MODULE} ->
  246. websocket_close(State, HandlerState, timeout);
  247. {timeout, OlderTRef, ?MODULE} when is_reference(OlderTRef) ->
  248. loop(State, HandlerState, ParseState);
  249. %% System messages.
  250. {'EXIT', Parent, Reason} ->
  251. %% @todo We should exit gracefully.
  252. exit(Reason);
  253. {system, From, Request} ->
  254. sys:handle_system_msg(Request, From, Parent, ?MODULE, [],
  255. {State, HandlerState, ParseState});
  256. %% Calls from supervisor module.
  257. {'$gen_call', From, Call} ->
  258. cowboy_children:handle_supervisor_call(Call, From, [], ?MODULE),
  259. loop(State, HandlerState, ParseState);
  260. Message ->
  261. handler_call(State, HandlerState, ParseState,
  262. websocket_info, Message, fun before_loop/3)
  263. end.
  264. parse(State, HandlerState, PS=#ps_header{buffer=Buffer}, Data) ->
  265. parse_header(State, HandlerState, PS#ps_header{
  266. buffer= <<Buffer/binary, Data/binary>>});
  267. parse(State, HandlerState, PS=#ps_payload{buffer=Buffer}, Data) ->
  268. parse_payload(State, HandlerState, PS#ps_payload{buffer= <<>>},
  269. <<Buffer/binary, Data/binary>>).
  270. parse_header(State=#state{max_frame_size=MaxFrameSize,
  271. frag_state=FragState, extensions=Extensions},
  272. HandlerState, ParseState=#ps_header{buffer=Data}) ->
  273. case cow_ws:parse_header(Data, Extensions, FragState) of
  274. %% All frames sent from the client to the server are masked.
  275. {_, _, _, _, undefined, _} ->
  276. websocket_close(State, HandlerState, {error, badframe});
  277. {_, _, _, Len, _, _} when Len > MaxFrameSize ->
  278. websocket_close(State, HandlerState, {error, badsize});
  279. {Type, FragState2, Rsv, Len, MaskKey, Rest} ->
  280. parse_payload(State#state{frag_state=FragState2}, HandlerState,
  281. #ps_payload{type=Type, len=Len, mask_key=MaskKey, rsv=Rsv}, Rest);
  282. more ->
  283. before_loop(State, HandlerState, ParseState);
  284. error ->
  285. websocket_close(State, HandlerState, {error, badframe})
  286. end.
  287. parse_payload(State=#state{frag_state=FragState, utf8_state=Incomplete, extensions=Extensions},
  288. HandlerState, ParseState=#ps_payload{
  289. type=Type, len=Len, mask_key=MaskKey, rsv=Rsv,
  290. unmasked=Unmasked, unmasked_len=UnmaskedLen}, Data) ->
  291. case cow_ws:parse_payload(Data, MaskKey, Incomplete, UnmaskedLen,
  292. Type, Len, FragState, Extensions, Rsv) of
  293. {ok, CloseCode, Payload, Utf8State, Rest} ->
  294. dispatch_frame(State#state{utf8_state=Utf8State}, HandlerState,
  295. ParseState#ps_payload{unmasked= <<Unmasked/binary, Payload/binary>>,
  296. close_code=CloseCode}, Rest);
  297. {ok, Payload, Utf8State, Rest} ->
  298. dispatch_frame(State#state{utf8_state=Utf8State}, HandlerState,
  299. ParseState#ps_payload{unmasked= <<Unmasked/binary, Payload/binary>>},
  300. Rest);
  301. {more, CloseCode, Payload, Utf8State} ->
  302. before_loop(State#state{utf8_state=Utf8State}, HandlerState,
  303. ParseState#ps_payload{len=Len - byte_size(Data), close_code=CloseCode,
  304. unmasked= <<Unmasked/binary, Payload/binary>>,
  305. unmasked_len=UnmaskedLen + byte_size(Data)});
  306. {more, Payload, Utf8State} ->
  307. before_loop(State#state{utf8_state=Utf8State}, HandlerState,
  308. ParseState#ps_payload{len=Len - byte_size(Data),
  309. unmasked= <<Unmasked/binary, Payload/binary>>,
  310. unmasked_len=UnmaskedLen + byte_size(Data)});
  311. Error = {error, _Reason} ->
  312. websocket_close(State, HandlerState, Error)
  313. end.
  314. dispatch_frame(State=#state{socket=Socket, transport=Transport,
  315. max_frame_size=MaxFrameSize, frag_state=FragState,
  316. frag_buffer=SoFar, extensions=Extensions}, HandlerState,
  317. #ps_payload{type=Type0, unmasked=Payload0, close_code=CloseCode0},
  318. RemainingData) ->
  319. case cow_ws:make_frame(Type0, Payload0, CloseCode0, FragState) of
  320. %% @todo Allow receiving fragments.
  321. {fragment, _, _, Payload} when byte_size(Payload) + byte_size(SoFar) > MaxFrameSize ->
  322. websocket_close(State, HandlerState, {error, badsize});
  323. {fragment, nofin, _, Payload} ->
  324. parse_header(State#state{frag_buffer= << SoFar/binary, Payload/binary >>},
  325. HandlerState, #ps_header{buffer=RemainingData});
  326. {fragment, fin, Type, Payload} ->
  327. handler_call(State#state{frag_state=undefined, frag_buffer= <<>>}, HandlerState,
  328. #ps_header{buffer=RemainingData},
  329. websocket_handle, {Type, << SoFar/binary, Payload/binary >>},
  330. fun parse_header/3);
  331. close ->
  332. websocket_close(State, HandlerState, remote);
  333. {close, CloseCode, Payload} ->
  334. websocket_close(State, HandlerState, {remote, CloseCode, Payload});
  335. Frame = ping ->
  336. Transport:send(Socket, cow_ws:frame(pong, Extensions)),
  337. handler_call(State, HandlerState,
  338. #ps_header{buffer=RemainingData},
  339. websocket_handle, Frame, fun parse_header/3);
  340. Frame = {ping, Payload} ->
  341. Transport:send(Socket, cow_ws:frame({pong, Payload}, Extensions)),
  342. handler_call(State, HandlerState,
  343. #ps_header{buffer=RemainingData},
  344. websocket_handle, Frame, fun parse_header/3);
  345. Frame ->
  346. handler_call(State, HandlerState,
  347. #ps_header{buffer=RemainingData},
  348. websocket_handle, Frame, fun parse_header/3)
  349. end.
  350. handler_call(State=#state{handler=Handler}, HandlerState,
  351. ParseState, Callback, Message, NextState) ->
  352. try case Callback of
  353. websocket_init -> Handler:websocket_init(HandlerState);
  354. _ -> Handler:Callback(Message, HandlerState)
  355. end of
  356. {ok, HandlerState2} ->
  357. NextState(State, HandlerState2, ParseState);
  358. {ok, HandlerState2, hibernate} ->
  359. NextState(State#state{hibernate=true}, HandlerState2, ParseState);
  360. {reply, Payload, HandlerState2} ->
  361. case websocket_send(Payload, State) of
  362. ok ->
  363. NextState(State, HandlerState2, ParseState);
  364. stop ->
  365. terminate(State, HandlerState2, stop);
  366. Error = {error, _} ->
  367. terminate(State, HandlerState2, Error)
  368. end;
  369. {reply, Payload, HandlerState2, hibernate} ->
  370. case websocket_send(Payload, State) of
  371. ok ->
  372. NextState(State#state{hibernate=true},
  373. HandlerState2, ParseState);
  374. stop ->
  375. terminate(State, HandlerState2, stop);
  376. Error = {error, _} ->
  377. terminate(State, HandlerState2, Error)
  378. end;
  379. {stop, HandlerState2} ->
  380. websocket_close(State, HandlerState2, stop)
  381. catch Class:Reason ->
  382. websocket_send_close(State, {crash, Class, Reason}),
  383. handler_terminate(State, HandlerState, {crash, Class, Reason}),
  384. erlang:raise(Class, Reason, erlang:get_stacktrace())
  385. end.
  386. -spec websocket_send(cow_ws:frame(), #state{}) -> ok | stop | {error, atom()}.
  387. websocket_send(Frames, State) when is_list(Frames) ->
  388. websocket_send_many(Frames, State, []);
  389. websocket_send(Frame, #state{socket=Socket, transport=Transport, extensions=Extensions}) ->
  390. Res = Transport:send(Socket, cow_ws:frame(Frame, Extensions)),
  391. case is_close_frame(Frame) of
  392. true -> stop;
  393. false -> Res
  394. end.
  395. websocket_send_many([], #state{socket=Socket, transport=Transport}, Acc) ->
  396. Transport:send(Socket, lists:reverse(Acc));
  397. websocket_send_many([Frame|Tail], State=#state{socket=Socket, transport=Transport,
  398. extensions=Extensions}, Acc0) ->
  399. Acc = [cow_ws:frame(Frame, Extensions)|Acc0],
  400. case is_close_frame(Frame) of
  401. true ->
  402. _ = Transport:send(Socket, lists:reverse(Acc)),
  403. stop;
  404. false ->
  405. websocket_send_many(Tail, State, Acc)
  406. end.
  407. is_close_frame(close) -> true;
  408. is_close_frame({close, _}) -> true;
  409. is_close_frame({close, _, _}) -> true;
  410. is_close_frame(_) -> false.
  411. -spec websocket_close(#state{}, any(), terminate_reason()) -> no_return().
  412. websocket_close(State, HandlerState, Reason) ->
  413. websocket_send_close(State, Reason),
  414. terminate(State, HandlerState, Reason).
  415. websocket_send_close(#state{socket=Socket, transport=Transport,
  416. extensions=Extensions}, Reason) ->
  417. _ = case Reason of
  418. Normal when Normal =:= stop; Normal =:= timeout ->
  419. Transport:send(Socket, cow_ws:frame({close, 1000, <<>>}, Extensions));
  420. {error, badframe} ->
  421. Transport:send(Socket, cow_ws:frame({close, 1002, <<>>}, Extensions));
  422. {error, badencoding} ->
  423. Transport:send(Socket, cow_ws:frame({close, 1007, <<>>}, Extensions));
  424. {error, badsize} ->
  425. Transport:send(Socket, cow_ws:frame({close, 1009, <<>>}, Extensions));
  426. {crash, _, _} ->
  427. Transport:send(Socket, cow_ws:frame({close, 1011, <<>>}, Extensions));
  428. remote ->
  429. Transport:send(Socket, cow_ws:frame(close, Extensions));
  430. {remote, Code, _} ->
  431. Transport:send(Socket, cow_ws:frame({close, Code, <<>>}, Extensions))
  432. end,
  433. ok.
  434. -spec terminate(#state{}, any(), terminate_reason()) -> no_return().
  435. terminate(State, HandlerState, Reason) ->
  436. handler_terminate(State, HandlerState, Reason),
  437. exit(normal).
  438. handler_terminate(#state{handler=Handler, req=Req}, HandlerState, Reason) ->
  439. cowboy_handler:terminate(Reason, Req, HandlerState, Handler).
  440. %% System callbacks.
  441. -spec system_continue(_, _, {#state{}, any(), parse_state()}) -> no_return().
  442. system_continue(_, _, {State, HandlerState, ParseState}) ->
  443. loop(State, HandlerState, ParseState).
  444. -spec system_terminate(any(), _, _, {#state{}, any(), parse_state()}) -> no_return().
  445. system_terminate(Reason, _, _, {State, HandlerState, _}) ->
  446. %% @todo We should exit gracefully, if possible.
  447. terminate(State, HandlerState, Reason).
  448. -spec system_code_change(Misc, _, _, _)
  449. -> {ok, Misc} when Misc::{#state{}, any(), parse_state()}.
  450. system_code_change(Misc, _, _, _) ->
  451. {ok, Misc}.