Merge pull request #81 from FNAL-HCAL-Ph1Upgrade/HB_restartServer

Use kill -11 to kill ngccm server
FNAL-HCAL-Ph1Upgrade · Jul 5, 2018 · 147ce81 · 147ce81
2 parents d6946e0 + 4d22c23
commit 147ce81
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ngccmServer/restartNgccmServer.sh b/ngccmServer/restartNgccmServer.sh
@@ -24,7 +24,7 @@ if pid=$(pgrep -f $tag) ; then
         echo "ngccm server with tag $tag is already running with pid $pid"
         echo "using kill to send ngccm server with tag $tag and pid $pid to the grave"
     fi
-    kill $pid
+    kill -11 $pid
 else
     echo "ngccm server with tag $tag is not running"
 fi