From b5a4dcdb1f21d654da9c1a314e4370551b6c1b9f Mon Sep 17 00:00:00 2001
From: Alan Friedman <d.alan.friedman@gmail.com>
Date: Tue, 28 May 2019 08:13:20 -0400
Subject: [PATCH] Increase ping timeout

---
 server/src/index.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/src/index.js b/server/src/index.js
index 9df77e5..3f55596 100644
--- a/server/src/index.js
+++ b/server/src/index.js
@@ -103,7 +103,7 @@ const protocol = (process.env.PROTOCOL || 'http') === 'http' ? http : https;
 const server = protocol.createServer(app.callback());
 const io = Io(server, {
   pingInterval: 5000,
-  pingTimeout: 3000
+  pingTimeout: 5000
 });
 io.adapter(socketRedis(process.env.REDIS_URL));