diff options
author | Loïc Hoguin <[email protected]> | 2017-01-02 16:47:16 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2017-01-02 16:47:16 +0100 |
commit | e10daf39fa08fb1367b277b31b4c9c9baad5239b (patch) | |
tree | 348ed3084f217ede4b05f722b81e536f9180f5a2 /src/cowboy_websocket.erl | |
parent | ed664345d7c65922269bd89d70babffc97d9e095 (diff) | |
download | cowboy-e10daf39fa08fb1367b277b31b4c9c9baad5239b.tar.gz cowboy-e10daf39fa08fb1367b277b31b4c9c9baad5239b.tar.bz2 cowboy-e10daf39fa08fb1367b277b31b4c9c9baad5239b.zip |
Numerous Dialyzer fixes
Diffstat (limited to 'src/cowboy_websocket.erl')
-rw-r--r-- | src/cowboy_websocket.erl | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/src/cowboy_websocket.erl b/src/cowboy_websocket.erl index c8a6dd0..459d2e7 100644 --- a/src/cowboy_websocket.erl +++ b/src/cowboy_websocket.erl @@ -54,7 +54,7 @@ -optional_callbacks([terminate/3]). -record(state, { - socket = undefined :: inet:socket(), + socket = undefined :: inet:socket() | undefined, transport = undefined :: module(), handler :: module(), key = undefined :: undefined | binary(), @@ -309,8 +309,7 @@ websocket_dispatch(State=#state{socket=Socket, transport=Transport, frag_state=F handler_call(State, HandlerState, RemainingData, websocket_handle, Frame, fun websocket_data/3) end. --spec handler_call(#state{}, any(), binary(), atom(), any(), fun()) - -> {ok, cowboy_middleware:env()}. +-spec handler_call(#state{}, any(), binary(), atom(), any(), fun()) -> no_return(). handler_call(State=#state{handler=Handler}, HandlerState, RemainingData, Callback, Message, NextState) -> try case Callback of @@ -375,8 +374,7 @@ is_close_frame({close, _}) -> true; is_close_frame({close, _, _}) -> true; is_close_frame(_) -> false. --spec websocket_close(#state{}, any(), terminate_reason()) - -> {ok, cowboy_middleware:env()}. +-spec websocket_close(#state{}, any(), terminate_reason()) -> no_return(). websocket_close(State=#state{socket=Socket, transport=Transport, extensions=Extensions}, HandlerState, Reason) -> case Reason of @@ -395,8 +393,7 @@ websocket_close(State=#state{socket=Socket, transport=Transport, extensions=Exte end, handler_terminate(State, HandlerState, Reason). --spec handler_terminate(#state{}, any(), terminate_reason()) - -> {ok, cowboy_middleware:env()}. +-spec handler_terminate(#state{}, any(), terminate_reason()) -> no_return(). handler_terminate(#state{handler=Handler}, HandlerState, Reason) -> cowboy_handler:terminate(Reason, undefined, HandlerState, Handler), |