X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dsa-metapackages.git;a=blobdiff_plain;f=buildd-reboot;h=d77667dfa1c627de2dd99ec05907820f9977b077;hp=d082ef28366957043f9eb91ed8c7f2ddcc3915bb;hb=1ef5c152f6a95df0f53e86bee06e139f12e70361;hpb=205d6d70eb332f0e2070abff5750b7ea34ad4795

diff --git a/buildd-reboot b/buildd-reboot
index d082ef2..d77667d 100755
--- a/buildd-reboot
+++ b/buildd-reboot
@@ -44,13 +44,37 @@ if [ "$#" != 1 ]; then
 fi
 reason="$1"
 
+touch_stuff() {
+	local user="$1"
+	local home=$(getent passwd "$user" | awk -F: '{print $6}')
+
+	if ! test -e "$home"/NO-DAEMON-PLEASE; then
+		if [ -e "$home"/build/buildd.pid ] ; then
+			echo "Touching ${home}/NO-DAEMON-PLEASE ${home}/EXIT-DAEMON-PLEASE"
+			sudo -u "$user" touch "$home"/NO-DAEMON-PLEASE "$home"/EXIT-DAEMON-PLEASE
+			sudo -u "$user" sh -c "echo waiting-for-clean-shutdown > '${home}/'NO-DAEMON-PLEASE"
+			sudo chgrp -v adm "$home"/NO-DAEMON-PLEASE
+
+			echo "Sending HUP to $user:buildd"
+			sudo -u "$user" kill -HUP "$(sudo cat "${home}"/build/buildd.pid)"
+		else
+			echo "$user: no-daemon-please does not exist, but there is no buildd.pid file either"
+			if pgrep -u "$user" -x buildd ; then
+				echo "But there is a buildd running.  Bad?"
+				exit 3
+			fi
+		fi
+	else
+		echo "no-daemon-please already exists"
+	fi
+}
 
 
 wall_counter=0
 maybe_wall() {
 	wall_counter=$((wall_counter-1))
 	if [ "$wall_counter" -le 0 ]; then
-		if [ "$host" = 1 ]; then
+		if [ "$halt" = 1 ]; then
 			echo "System will halt for $reason when buildd has stopped" | wall
 		else
 			echo "System will reboot for $reason when buildd has stopped" | wall
@@ -62,14 +86,14 @@ maybe_wall() {
 buildd_wait_and_reboot() {
 	echo -n "Waiting for buildd to shut down"
 
-	while test -e ~buildd/build/buildd.pid ; do
+	while test -e ~buildd/build/buildd.pid  ||  test -e ~buildd2/build/buildd.pid; do
 		echo -n "."
 		sleep 5
 		maybe_wall
 	done
 	echo
 
-	if pgrep -u buildd -x buildd ; then
+	if pgrep -u buildd -x buildd || pgrep -u buildd2 - x buildd; then
 		echo "pidfile is gone, but buildd process still runs"
 		while pgrep -u buildd -x buildd ; do
 			echo -n "."
@@ -79,10 +103,16 @@ buildd_wait_and_reboot() {
 		echo
 	fi
 
-	if [ "$host" = 1 ]; then
-		/sbin/shutdown -p 15 "$reason"
+	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 grep 'waiting-for-clean-shutdown' ~buildd2/NO-DAEMON-PLEASE > /dev/null; then
+		sudo -u buildd2 sh -c 'echo delete-on-boot > ~buildd2/NO-DAEMON-PLEASE'
+	fi
+	if [ "$halt" = 1 ]; then
+		/sbin/shutdown -h 1 "$reason"
 	else
-		/sbin/shutdown -p 15 "$reason"
+		/sbin/shutdown -r 1 "$reason"
 	fi
 }
 
@@ -99,16 +129,7 @@ if ! [ -d ~buildd ]; then
 	exit 3
 fi
 
-if ! test -e ~buildd/NO-DAEMON-PLEASE; 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 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 already exists"
-fi
+touch_stuff buildd
+[ -d ~buildd2 ] && touch_stuff buildd2
 
 buildd_wait_and_reboot