wok diff ajaxterm/stuff/etc/init.d/ajaxterm @ rev 17005

Add pulseaudio
author Pascal Bellard <pascal.bellard@slitaz.org>
date Tue Aug 12 13:55:28 2014 +0200 (2014-08-12)
parents 4da64a9e2232
children 7f188676b59c
line diff
     1.1 --- a/ajaxterm/stuff/etc/init.d/ajaxterm	Mon Dec 29 14:27:07 2008 +0000
     1.2 +++ b/ajaxterm/stuff/etc/init.d/ajaxterm	Tue Aug 12 13:55:28 2014 +0200
     1.3 @@ -18,7 +18,7 @@
     1.4  
     1.5  case "$1" in
     1.6    start)
     1.7 -    if [ -f $PIDFILE ] ; then
     1.8 +    if active_pidfile $PIDFILE python ; then
     1.9        echo "$NAME already running."
    1.10        exit 1
    1.11      fi
    1.12 @@ -28,7 +28,7 @@
    1.13      sleep 2
    1.14      ;;
    1.15    stop)
    1.16 -    if [ ! -f $PIDFILE ] ; then
    1.17 +    if ! active_pidfile $PIDFILE python ; then
    1.18        echo "$NAME is not running."
    1.19        exit 1
    1.20      fi
    1.21 @@ -39,7 +39,7 @@
    1.22      sleep 2
    1.23      ;;
    1.24    restart)
    1.25 -    if [ ! -f $PIDFILE ] ; then
    1.26 +    if ! active_pidfile $PIDFILE python ; then
    1.27        echo "$NAME is not running."
    1.28        exit 1
    1.29      fi