diff options
author | Reuben Thomas <rrt@sc3d.org> | 2014-10-15 02:49:01 +0100 |
---|---|---|
committer | Reuben Thomas <rrt@sc3d.org> | 2014-10-15 02:49:01 +0100 |
commit | 2cfc5a9953287550ed693635bd7df6f2787f7bf6 (patch) | |
tree | 3d1f5243ada93cb702e73710c835cbd55aaf2983 /debian/plptools.init | |
parent | 92609b536bab76aeca8b3337ee733da1dedd22e3 (diff) | |
download | plptools-master.tar.gz plptools-master.tar.bz2 plptools-master.zip |
Diffstat (limited to 'debian/plptools.init')
-rw-r--r-- | debian/plptools.init | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/plptools.init b/debian/plptools.init index 3463d86..a4d1e5a 100644 --- a/debian/plptools.init +++ b/debian/plptools.init @@ -64,7 +64,6 @@ case "$1" in echo "I don't know how to unmount a FUSE filing system on this OS" >&2 exit 1 fi - sleep 1 # in case we're restarted immediately afterwards start-stop-daemon --stop --retry HUP/5/TERM/1 --quiet \ --exec "$PLPFUSE" && \ echo -n "done" || echo -n "already stopped" @@ -81,6 +80,7 @@ case "$1" in start-stop-daemon --stop --quiet --exec "$NCPD" && \ echo -n "done" || echo -n "already stopped" echo "." + sleep 5 # in case we're restarted immediately afterwards fi ;; restart|force-reload) |