diff options
| author | Paweł Chmielowski <pawel@process-one.net> | 2015-03-12 10:34:23 +0100 |
|---|---|---|
| committer | Paweł Chmielowski <pawel@process-one.net> | 2015-03-12 10:34:34 +0100 |
| commit | e855791f1630410df54839db9d4bbbd751aca8f7 (patch) | |
| tree | 343e40d42c91e56537ca966a6b4bee29a9c48944 /src | |
| parent | mod_offline: Remove a few superfluous newlines (diff) | |
Update types to fix dialyzer warnings
Diffstat (limited to 'src')
| -rw-r--r-- | src/ejabberd_http_ws.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ejabberd_http_ws.erl b/src/ejabberd_http_ws.erl index e64212b86..74fa2df5f 100644 --- a/src/ejabberd_http_ws.erl +++ b/src/ejabberd_http_ws.erl @@ -47,10 +47,10 @@ -record(state, {socket :: ws_socket(), - ping_interval = ?PING_INTERVAL :: pos_integer(), + ping_interval = ?PING_INTERVAL :: non_neg_integer(), ping_timer = make_ref() :: reference(), pong_expected :: boolean(), - timeout = ?WEBSOCKET_TIMEOUT :: pos_integer(), + timeout = ?WEBSOCKET_TIMEOUT :: non_neg_integer(), timer = make_ref() :: reference(), input = [] :: list(), waiting_input = false :: false | pid(), |