From 4a00e7b3a9c3d5a28443f4a538bd9a64b8e76212 Mon Sep 17 00:00:00 2001
From: Aaron Klingaman <alk@cs.princeton.edu>
Date: Mon, 6 Dec 2004 19:45:36 +0000
Subject: [PATCH] readd ability for bootscripts to cancel the boot process

---
 conf_files/pl_boot | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/conf_files/pl_boot b/conf_files/pl_boot
index 960995e..4bbf1a8 100644
--- a/conf_files/pl_boot
+++ b/conf_files/pl_boot
@@ -5,6 +5,9 @@ GNUPGHOME=/root
 export GNUPGHOME
 /usr/bin/gpg --yes 2>/dev/null </dev/null
 
+# if this file is present, cancel the boot (exit this script)
+CANCEL_BOOT_FLAG=/tmp/CANCEL_BOOT
+
 # where all the configuration files for contacting
 # the boot server are stored
 BOOT_DIR=/usr/boot/
@@ -64,6 +67,11 @@ GPG_CMD="/usr/bin/gpg \
 first=1
 while true; do
 
+    if [[ -f $CANCEL_BOOT_FLAG ]]; then
+	echo "pl_boot: got request to cancel boot, exiting"
+	exit 0
+    fi
+
     if [[ $first -eq 0 ]]; then
 	echo "pl_boot: fetching new script in 30 seconds"
 	/bin/sleep 30
@@ -105,4 +113,4 @@ while true; do
     echo "pl_boot: downloaded script has returned"
 done
 
-echo "pl_boot: automatic boot process canceled"
+echo "pl_boot: automatic boot process canceled by user"
-- 
2.43.0