diff options
| -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) |