Update types to fix dialyzer warnings

diff --git a/src/ejabberd_http_ws.erl b/src/ejabberd_http_ws.erl
index e64212b868451475783801c4b5eb6e76ece82b80..74fa2df5fe634375170e4dfa3773caaf2f99533f 100644 (file)
--- 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(),