wok-current rev 9670
openerp-web: fix init script
author | Pascal Bellard <pascal.bellard@slitaz.org> |
---|---|
date | Mon May 02 16:23:17 2011 +0200 (2011-05-02) |
parents | 6bb38e7c0524 |
children | 57fa27788226 |
files | openerp-web/stuff/etc/init.d/openerp-web |
line diff
1.1 --- a/openerp-web/stuff/etc/init.d/openerp-web Mon May 02 15:57:40 2011 +0200 1.2 +++ b/openerp-web/stuff/etc/init.d/openerp-web Mon May 02 16:23:17 2011 +0200 1.3 @@ -15,9 +15,10 @@ 1.4 PIDFILE=/var/run/openerp-web.pid 1.5 [ -n "$OPTIONS" ] || OPTIONS="-c /etc/openerp/openerp-web.conf" 1.6 1.7 +ps ww | grep $DAEMON | awk '{ if (!/grep/) print $1 }' > $PIDFILE 1.8 case "$1" in 1.9 start) 1.10 - if [ -f $PIDFILE ] ; then 1.11 + if active_pidfile $PIDFILE $NAME ; then 1.12 echo "$NAME already running." 1.13 exit 1 1.14 fi 1.15 @@ -26,7 +27,7 @@ 1.16 status 1.17 sleep 2 ;; 1.18 stop) 1.19 - if [ ! -f $PIDFILE ] ; then 1.20 + if ! active_pidfile $PIDFILE $NAME ; then 1.21 echo "$NAME is not running." 1.22 exit 1 1.23 fi 1.24 @@ -35,7 +36,7 @@ 1.25 status 1.26 sleep 2 ;; 1.27 restart) 1.28 - if [ ! -f $PIDFILE ] ; then 1.29 + if ! active_pidfile $PIDFILE $NAME ; then 1.30 echo "$NAME is not running." 1.31 exit 1 1.32 fi