# HG changeset patch # User Pascal Bellard # Date 1236676429 0 # Node ID 0c5bcb5a0cadad69176d437c27a8fd948f51897b # Parent 6f02ebda33d4080f444393c23e5041ba28b24cde dropbear: improve start script diff -r 6f02ebda33d4 -r 0c5bcb5a0cad dropbear/stuff/init.d/dropbear --- a/dropbear/stuff/init.d/dropbear Tue Mar 10 09:12:41 2009 +0000 +++ b/dropbear/stuff/init.d/dropbear Tue Mar 10 09:13:49 2009 +0000 @@ -31,7 +31,7 @@ dropbearkey -t dss -f /etc/dropbear/dropbear_dss_host_key > /dev/null 2>&1 status fi - if [ -f $PIDFILE ] ; then + if active_pidfile $PIDFILE dropbear ; then echo "$NAME already running." exit 1 fi @@ -40,7 +40,7 @@ status ;; stop) - if [ ! -f $PIDFILE ] ; then + if ! active_pidfile $PIDFILE dropbear ; then echo "$NAME is not running." exit 1 fi @@ -49,7 +49,7 @@ status ;; restart) - if [ ! -f $PIDFILE ] ; then + if ! active_pidfile $PIDFILE dropbear ; then echo "$NAME is not running." exit 1 fi