From bd7aea84a41b3ece88ffeff75b3e99023a3ca859 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 9 Sep 2015 03:41:38 +0200
Subject: [PATCH] Client: Slightly grow wait time in test_and_poll_server().

---
 src/client/io.c | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/src/client/io.c b/src/client/io.c
index 54b65c2..f47de03 100644
--- a/src/client/io.c
+++ b/src/client/io.c
@@ -207,25 +207,26 @@ static void test_and_poll_server()
     static time_t last_server_answer_time = 0;
     static time_t last_pong_time = 0;
     static uint8_t ping_sent = 0;
+    uint8_t wait = 15;
     if (read_file_into_queue(world.file_server_out, &world.queue))
     {
         last_server_answer_time = time(0);
         return;
     }
     time_t now = time(0);
-    if (ping_sent && last_server_answer_time > now - 5)  /* Re-set if last    */
-    {                                                    /* ping was answered */
-        ping_sent = 0;                                   /* with server       */
-        return;                                          /* activity.         */
+    if (ping_sent && last_server_answer_time > now - wait)/* Re-set if last   */
+    {                                                     /* ping was answered*/
+        ping_sent = 0;                                    /* with server      */
+        return;                                           /* activity.        */
     }
-    if (!ping_sent && last_server_answer_time < now - 5)
+    if (!ping_sent && last_server_answer_time < now - wait)
     {
         send("PING");
         ping_sent = 1;
         last_pong_time = now;
         return;
     }
-    exit_err(ping_sent && last_pong_time < now - 5, "Server not answering.");
+    exit_err(ping_sent && last_pong_time < now - wait, "Server not answering.");
 }
 
 
-- 
2.30.2