diff options
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/plptools.init | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index c02363a..fa54f68 100644 --- a/debian/changelog +++ b/debian/changelog @@ -13,6 +13,7 @@ plptools (1.0.13-0.1) unstable; urgency=low /etc/default/plptools, and use correct flag to plpprintd for print command. (Closes: #238921) * Remove -dev package, which is unused and has no (build-)deps. + * Fix race condition during package upgrade. -- Reuben Thomas <rrt@sc3d.org> Tue, 22 Jul 2014 15:47:33 +0100 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) |