chiark / gitweb /
adding build-deps of installation-guide
[dsa-metapackages.git] / buildd-reboot
index 237fb8b..dc45094 100755 (executable)
@@ -79,6 +79,9 @@ buildd_wait_and_reboot() {
                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
@@ -103,13 +106,17 @@ if ! test -e ~buildd/NO-DAEMON-PLEASE; then
        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"