Use kill -11 as suggested by John and Alan.

FNAL-HCAL-Ph1Upgrade · Jul 5, 2018 · 4d22c23 · 4d22c23
1 parent 7f65bb8
commit 4d22c23
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