diff options
author | Reuben Thomas <rrt@sc3d.org> | 2014-10-15 02:42:04 +0100 |
---|---|---|
committer | Reuben Thomas <rrt@sc3d.org> | 2014-10-15 02:42:04 +0100 |
commit | 92609b536bab76aeca8b3337ee733da1dedd22e3 (patch) | |
tree | 97e091d726b90bee04915d2eabfba47b833a39c6 | |
parent | 7cccbd28c9d33054ad69bb70af406e44bc996abb (diff) | |
download | plptools-92609b536bab76aeca8b3337ee733da1dedd22e3.tar.gz plptools-92609b536bab76aeca8b3337ee733da1dedd22e3.tar.bz2 plptools-92609b536bab76aeca8b3337ee733da1dedd22e3.zip |
Fix sleep bodge when stop is immediately followed by start
-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 6124c9b..3463d86 100644 --- a/debian/plptools.init +++ b/debian/plptools.init @@ -64,6 +64,7 @@ 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" @@ -84,7 +85,6 @@ case "$1" in ;; restart|force-reload) $0 stop - sleep 1 $0 start ;; status) |