[Pkg-ocaml-maint-commits] [SCM] ocsigen packaging branch, master, updated. debian/1.1.0-1-12-gf0765b5

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 513920c39ae6b3520c7f41f7a1c1c757adc149a6
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Mar 13 17:31:49 2009 +0100

    Check if daemon is already running, as per new policy

diff --git a/debian/ocsigen.init b/debian/ocsigen.init
index 5c523fb..b065c93 100644
--- a/debian/ocsigen.init
+++ b/debian/ocsigen.init
@@ -36,7 +36,10 @@ case "$1" in
 	    echo "$DEFAULTFILE prevents $NAME to be started (use force-start)."
 	    exit 0
 	fi
-
+        if [ -r "$PIDFILE" ] && read pid < "$PIDFILE" && ps -p "$pid" > /dev/null 2>&1; then
+            echo "$NAME is already running!"
+            exit 0
+        fi
 	echo -n "Starting $DESC: "
         $DAEMON --daemon --pidfile $PIDFILE $DAEMON_OPTS
 	echo "$NAME."

-- 
ocsigen packaging