Browse Source

fix stop script

Ralf S. Engelschall 24 years ago
parent
commit
faee3c38ad
1 changed files with 3 additions and 3 deletions
  1. 3 3
      cvs/rc.cvs

+ 3 - 3
cvs/rc.cvs

@@ -23,9 +23,9 @@
 %stop -p 200 -u root
     if opServiceEnabled cvs_pserverd; then
         if [ -f $cvs_pserverd_pidfile ]; then
-            kill -TERM `cat $cvs_pserverd_pidfile`
-            sleep f
-            kill -KILL `cat $cvs_pserverd_pidfile`
+            kill -TERM `cat $cvs_pserverd_pidfile` >/dev/null 2>&1 || true
+            sleep 2
+            kill -KILL `cat $cvs_pserverd_pidfile` >/dev/null 2>&1 || true
             rm -f $cvs_pserverd_pidfile >/dev/null 2>&1 || true
         fi
     fi