From e855791f1630410df54839db9d4bbbd751aca8f7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pawe=C5=82=20Chmielowski?= <pawel@process-one.net>
Date: Thu, 12 Mar 2015 10:34:23 +0100
Subject: [PATCH] Update types to fix dialyzer warnings

---
 src/ejabberd_http_ws.erl | 4 ++--
 1 file 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(),