diff options
| author | Peter Palfrader <peter@palfrader.org> | 2002-08-12 03:24:07 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2002-08-12 03:24:07 +0000 |
| commit | e73e36647d12566723e50d85c9ffaefa48a49265 (patch) | |
| tree | 492e547ef337d0f109bb3d3aba20db2d5ffb2c56 | |
| parent | 2ed44f09565443e40f457bc930407d228d7d6669 (diff) | |
Tell about removing
| -rwxr-xr-x | debian/echolot.init | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debian/echolot.init b/debian/echolot.init index c5d9804..ac8ef34 100755 --- a/debian/echolot.init +++ b/debian/echolot.init @@ -89,10 +89,12 @@ start) PID=`cat $PIDFILE 2>/devnull` || true if kill -0 $PID 2>/dev/null then - echo "$DESC already running" + echo "$DESC already running." exit 0 else - rm -f /var/run/echolot/pingd.pid + echo -n "Removing stale pid file: " + rm -f $PIDFILE + echo "$PIDFILE." fi fi echo -n "Starting $DESC: " |