echo
fi
+ if grep 'waiting-for-clean-shutdown' ~buildd/NO-DAEMON-PLEASE > /dev/null; then
+ sudo -u buildd sh -c 'echo delete-on-boot > ~buildd/NO-DAEMON-PLEASE'
+ fi
if [ "$halt" = 1 ]; then
/sbin/shutdown -h 15 "$reason"
else
if [ -e ~buildd/build/buildd.pid ] ; then
echo "Touching ~buildd/NO-DAEMON-PLEASE ~buildd/EXIT-DAEMON-PLEASE"
sudo -u buildd touch ~buildd/NO-DAEMON-PLEASE ~buildd/EXIT-DAEMON-PLEASE
- sudo -u buildd sh -c 'echo delete-on-boot > ~buildd/NO-DAEMON-PLEASE'
+ sudo -u buildd sh -c 'echo waiting-for-clean-shutdown > ~buildd/NO-DAEMON-PLEASE'
sudo chgrp -v adm ~buildd/NO-DAEMON-PLEASE
echo "Sending HUP to buildd"
sudo -u buildd kill -HUP `sudo cat ~buildd/build/buildd.pid`
else
echo "no-daemon-please does not exist, but there is no buildd.pid file either"
+ if pgrep -u buildd -x buildd ; then
+ echo "But there is a buildd running. Bad?"
+ exit 3
+ fi
fi
else
echo "no-daemon-please already exists"
+debian.org (28) stable; urgency=low
+
+ * buildd-reboot: Write 'delete-on-reboot' to no-daemon-please only
+ when the buildd has stopped cleanly. Write
+ waiting-for-clean-shutdown while we are waiting.
+
+ -- Peter Palfrader <weasel@debian.org> Mon, 26 Oct 2009 09:38:46 +0100
+
debian.org (27) stable; urgency=low
* buildd-reboot: Only touch no-daemon-please if there is currently a