aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorReuben Thomas <rrt@sc3d.org>2014-10-15 02:49:01 +0100
committerReuben Thomas <rrt@sc3d.org>2014-10-15 02:49:01 +0100
commit2cfc5a9953287550ed693635bd7df6f2787f7bf6 (patch)
tree3d1f5243ada93cb702e73710c835cbd55aaf2983
parent92609b536bab76aeca8b3337ee733da1dedd22e3 (diff)
downloadplptools-2cfc5a9953287550ed693635bd7df6f2787f7bf6.tar.gz
plptools-2cfc5a9953287550ed693635bd7df6f2787f7bf6.tar.bz2
plptools-2cfc5a9953287550ed693635bd7df6f2787f7bf6.zip
Bodge race condition when stop is immediately followed by startHEADmaster
-rw-r--r--debian/changelog1
-rw-r--r--debian/plptools.init2
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)