From 767ee6fa55fd03e9413eaa875a1e35bab74ae53b Mon Sep 17 00:00:00 2001 From: =?utf8?q?Franti=C5=A1ek=20Dvo=C5=99=C3=A1k?= Date: Fri, 11 Apr 2008 15:18:33 +0000 Subject: [PATCH] More killing. --- org.glite.jp.primary/config/startup | 2 ++ 1 file changed, 2 insertions(+) diff --git a/org.glite.jp.primary/config/startup b/org.glite.jp.primary/config/startup index 5373f85..bf43d4a 100644 --- a/org.glite.jp.primary/config/startup +++ b/org.glite.jp.primary/config/startup @@ -101,6 +101,7 @@ stop() return 1 fi done + kill -9 $pid >/dev/null 2>&1 echo " done" rm -f "$pidfile" else @@ -120,6 +121,7 @@ stop() return 1 fi done + kill -9 $pid >/dev/null 2>&1 echo " done" rm -f "$pidfile.ftpd" else -- 1.8.2.3