From 4d22c23a34455f281cf4786d2d66414a659ac7e4 Mon Sep 17 00:00:00 2001
From: hcalpro <hcalpro@cmsnghcal01.fnal.gov>
Date: Thu, 5 Jul 2018 10:39:05 -0500
Subject: [PATCH] Use kill -11 as suggested by John and Alan.

---
 ngccmServer/restartNgccmServer.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ngccmServer/restartNgccmServer.sh b/ngccmServer/restartNgccmServer.sh
index 34be508..bab380a 100755
--- 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