From: Paweł Chmielowski <pawel@process-one.net>
Date: Thu, 12 Mar 2015 09:34:23 +0000 (+0100)
Subject: Update types to fix dialyzer warnings
X-Git-Tag: 15.03~22
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=e855791f1630410df54839db9d4bbbd751aca8f7;p=ejabberd

Update types to fix dialyzer warnings
---

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(),