More killing.

diff --git a/org.glite.jp.primary/config/startup b/org.glite.jp.primary/config/startup
index 5373f85..bf43d4a 100644 (file)
--- 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