cowboy_http_websocket.erl 7.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183
  1. %% Copyright (c) 2011, Loïc Hoguin <essen@dev-extend.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. -module(cowboy_http_websocket).
  15. -export([upgrade/3]).
  16. -include("include/types.hrl").
  17. -include("include/http.hrl").
  18. -record(state, {
  19. handler :: module(),
  20. opts :: term(),
  21. origin = undefined :: undefined | string(),
  22. challenge = undefined :: undefined | binary(),
  23. timeout = infinity :: timeout(),
  24. messages = undefined :: undefined | {atom(), atom(), atom()}
  25. }).
  26. -spec upgrade(Handler::module(), Opts::term(), Req::#http_req{}) -> ok.
  27. upgrade(Handler, Opts, Req) ->
  28. case catch websocket_upgrade(#state{handler=Handler, opts=Opts}, Req) of
  29. {ok, State, Req2} -> handler_init(State, Req2);
  30. {'EXIT', _Reason} -> upgrade_error(Req)
  31. end.
  32. -spec websocket_upgrade(State::#state{}, Req::#http_req{})
  33. -> {ok, State::#state{}, Req::#http_req{}}.
  34. websocket_upgrade(State, Req=#http_req{socket=Socket, transport=Transport}) ->
  35. {"Upgrade", Req2} = cowboy_http_req:header('Connection', Req),
  36. {"WebSocket", Req3} = cowboy_http_req:header('Upgrade', Req2),
  37. {Origin, Req4} = cowboy_http_req:header("Origin", Req3),
  38. {Key1, Req5} = cowboy_http_req:header("Sec-Websocket-Key1", Req4),
  39. {Key2, Req6} = cowboy_http_req:header("Sec-Websocket-Key2", Req5),
  40. false = lists:member(undefined, [Origin, Key1, Key2]),
  41. Transport:setopts(Socket, [binary]),
  42. {ok, Key3, Req7} = cowboy_http_req:body(8, Req6),
  43. Challenge = challenge(Key1, Key2, Key3),
  44. {ok, State#state{origin=Origin, challenge=Challenge}, Req7}.
  45. -spec challenge(Key1::string(), Key2::string(), Key3::binary()) -> binary().
  46. challenge(Key1, Key2, Key3) ->
  47. IntKey1 = key_to_integer(Key1),
  48. IntKey2 = key_to_integer(Key2),
  49. erlang:md5(<< IntKey1:32, IntKey2:32, Key3/binary >>).
  50. -spec key_to_integer(Key::string()) -> integer().
  51. key_to_integer(Key) ->
  52. Number = list_to_integer([C || C <- Key, C >= $0, C =< $9]),
  53. Spaces = length([C || C <- Key, C =:= 32]),
  54. Number div Spaces.
  55. -spec handler_init(State::#state{}, Req::#http_req{}) -> ok.
  56. handler_init(State=#state{handler=Handler, opts=Opts},
  57. Req=#http_req{transport=Transport}) ->
  58. case catch Handler:websocket_init(Transport:name(), Req, Opts) of
  59. {ok, Req2, HandlerState} ->
  60. websocket_handshake(State, Req2, HandlerState);
  61. {ok, Req2, HandlerState, Timeout} ->
  62. websocket_handshake(State#state{timeout=Timeout},
  63. Req2, HandlerState);
  64. {'EXIT', _Reason} ->
  65. upgrade_error(Req)
  66. end.
  67. -spec upgrade_error(Req::#http_req{}) -> ok.
  68. upgrade_error(Req=#http_req{socket=Socket, transport=Transport}) ->
  69. {ok, _Req} = cowboy_http_req:reply(400, [], [],
  70. Req#http_req{resp_state=waiting}),
  71. Transport:close(Socket).
  72. -spec websocket_handshake(State::#state{}, Req::#http_req{},
  73. HandlerState::term()) -> ok.
  74. websocket_handshake(State=#state{origin=Origin, challenge=Challenge},
  75. Req=#http_req{transport=Transport, raw_host=Host, raw_path=Path},
  76. HandlerState) ->
  77. Location = websocket_location(Transport:name(), Host, Path),
  78. {ok, Req2} = cowboy_http_req:reply(
  79. "101 WebSocket Protocol Handshake",
  80. [{"Connection", "Upgrade"},
  81. {"Upgrade", "WebSocket"},
  82. {"Sec-WebSocket-Location", Location},
  83. {"Sec-WebSocket-Origin", Origin}],
  84. Challenge, Req#http_req{resp_state=waiting}),
  85. handler_loop(State#state{messages=Transport:messages()},
  86. Req2, HandlerState, <<>>).
  87. -spec websocket_location(TransName::atom(), Host::string(), Path::string())
  88. -> string().
  89. websocket_location(ssl, Host, Path) ->
  90. "wss://" ++ Host ++ Path;
  91. websocket_location(_Any, Host, Path) ->
  92. "ws://" ++ Host ++ Path.
  93. -spec handler_loop(State::#state{}, Req::#http_req{},
  94. HandlerState::term(), SoFar::binary()) -> ok.
  95. handler_loop(State=#state{messages={OK, Closed, Error}, timeout=Timeout},
  96. Req=#http_req{socket=Socket, transport=Transport},
  97. HandlerState, SoFar) ->
  98. Transport:setopts(Socket, [{active, once}]),
  99. receive
  100. {OK, Socket, Data} ->
  101. websocket_data(State, Req, HandlerState,
  102. << SoFar/binary, Data/binary >>);
  103. {Closed, Socket} ->
  104. handler_terminate(State, Req, HandlerState, {error, closed});
  105. {Error, Socket, Reason} ->
  106. handler_terminate(State, Req, HandlerState, {error, Reason});
  107. Message ->
  108. handler_call(State, Req, HandlerState,
  109. SoFar, Message, fun handler_loop/4)
  110. after Timeout ->
  111. websocket_close(State, Req, HandlerState, {normal, timeout})
  112. end.
  113. -spec websocket_data(State::#state{}, Req::#http_req{},
  114. HandlerState::term(), Data::binary()) -> ok.
  115. websocket_data(State, Req, HandlerState, << 255, 0, _Rest/bits >>) ->
  116. websocket_close(State, Req, HandlerState, {normal, closed});
  117. websocket_data(State, Req, HandlerState, Data) when byte_size(Data) < 3 ->
  118. handler_loop(State, Req, HandlerState, Data);
  119. websocket_data(State, Req, HandlerState, Data) ->
  120. websocket_frame(State, Req, HandlerState, Data, binary:first(Data)).
  121. %% We do not support any frame type other than 0 yet. Just like the specs.
  122. -spec websocket_frame(State::#state{}, Req::#http_req{},
  123. HandlerState::term(), Data::binary(), FrameType::byte()) -> ok.
  124. websocket_frame(State, Req, HandlerState, Data, 0) ->
  125. case binary:match(Data, << 255 >>) of
  126. {Pos, 1} ->
  127. Pos2 = Pos - 1,
  128. << 0, Frame:Pos2/binary, 255, Rest/bits >> = Data,
  129. handler_call(State, Req, HandlerState,
  130. Rest, {websocket, Frame}, fun websocket_data/4);
  131. nomatch ->
  132. %% @todo We probably should allow limiting frame length.
  133. handler_loop(State, Req, HandlerState, Data)
  134. end;
  135. websocket_frame(State, Req, HandlerState, _Data, _FrameType) ->
  136. websocket_close(State, Req, HandlerState, {error, badframe}).
  137. -spec handler_call(State::#state{}, Req::#http_req{}, HandlerState::term(),
  138. RemainingData::binary(), Message::term(), NextState::fun()) -> ok.
  139. handler_call(State=#state{handler=Handler}, Req, HandlerState,
  140. RemainingData, Message, NextState) ->
  141. case catch Handler:websocket_handle(Message, Req, HandlerState) of
  142. {ok, Req2, HandlerState2} ->
  143. NextState(State, Req2, HandlerState2, RemainingData);
  144. {reply, Data, Req2, HandlerState2} ->
  145. websocket_send(Data, Req2),
  146. NextState(State, Req2, HandlerState2, RemainingData);
  147. {shutdown, Req2, HandlerState2} ->
  148. websocket_close(State, Req2, HandlerState2, {normal, shutdown});
  149. {'EXIT', _Reason} ->
  150. websocket_close(State, Req, HandlerState, {error, handler})
  151. end.
  152. -spec websocket_send(Data::binary(), Req::#http_req{}) -> ok.
  153. websocket_send(Data, #http_req{socket=Socket, transport=Transport}) ->
  154. Transport:send(Socket, << 0, Data/binary, 255 >>).
  155. -spec websocket_close(State::#state{}, Req::#http_req{},
  156. HandlerState::term(), Reason::{atom(), atom()}) -> ok.
  157. websocket_close(State, Req=#http_req{socket=Socket, transport=Transport},
  158. HandlerState, Reason) ->
  159. Transport:send(Socket, << 255, 0 >>),
  160. Transport:close(Socket),
  161. handler_terminate(State, Req, HandlerState, Reason).
  162. -spec handler_terminate(State::#state{}, Req::#http_req{},
  163. HandlerState::term(), Reason::atom() | {atom(), atom()}) -> ok.
  164. handler_terminate(#state{handler=Handler}, Req, HandlerState, Reason) ->
  165. Handler:websocket_terminate(Reason, Req, HandlerState).