From 988a86ff197c8b3aabdad19824c9df3c8c7fcc1d Mon Sep 17 00:00:00 2001
From: blagoev <lubo@blagoev.com>
Date: Thu, 21 Sep 2017 16:12:43 +0300
Subject: [PATCH] ignore kill process errors

---
 scripts/test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/test.sh b/scripts/test.sh
index ef7d81dc..6fb10a4a 100755
--- a/scripts/test.sh
+++ b/scripts/test.sh
@@ -64,7 +64,7 @@ stop_server() {
   echo stopping server 
   if [[ ${SERVER_PID} -gt 0 ]] ; then
     echo server is running. killing it
-    kill -9 ${SERVER_PID}
+    kill -9 ${SERVER_PID} || true
   fi
 }