From c2b2a57c8799719f7b873a095c3845968999e3c7 Mon Sep 17 00:00:00 2001
From: Deve <deveee@gmail.com>
Date: Mon, 17 Sep 2018 22:14:32 +0200
Subject: [PATCH] Minor fix for run_server script.

Restart if known error happened and also update datetime to avoid overwriting log files.
---
 tools/run_server.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tools/run_server.sh b/tools/run_server.sh
index 3dc2c801c..52bdfb989 100755
--- a/tools/run_server.sh
+++ b/tools/run_server.sh
@@ -220,6 +220,9 @@ check_servers()
         if [ $(echo $FILE_END | grep -c "Session not valid. Please sign in.") -gt 0 ]; then
             show_message "Error: Check server: Session not valid"
             SUCCESS=0
+        elif [ $(echo $FILE_END | grep curl_easy_perform | grep -c "Timeout was reached") -gt 0 ]; then
+            show_message "Error: Check server: Timeout was reached"
+            SUCCESS=0
         fi
     done
 
@@ -284,6 +287,8 @@ startdaemon()
         if [ $SERVER_OK -eq 0 ]; then
             show_message "Error: Some servers don't work, restart is needed"
             stop_servers
+            
+            DATETIME="$(date +%Y%m%d%H%M%S)"
 
             init_servers
             run_servers