X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=conf_files%2Fpl_boot;h=4bbf1a83ba9b556929ed2e754cf09ba27f2c35a2;hb=4a00e7b3a9c3d5a28443f4a538bd9a64b8e76212;hp=960995e695e274934b75342fcb77c5558569606c;hpb=8693849730776d23a47a32b2edafe954a1af7e14;p=bootcd.git

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"