X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=conf_files%2Fpl_boot;fp=conf_files%2Fpl_boot;h=1d75b1da5de1218c368b90013398620b6c595fa9;hb=5677a73a83d2a5b9eae05e3e1d2b71a6e004f364;hp=1f5fa5a8d71a2e5a5a3e2f0770037e14ecafcf79;hpb=d5019c8cd35d3ec4b5fee35744c8425f12aa7925;p=bootcd.git

diff --git a/conf_files/pl_boot b/conf_files/pl_boot
index 1f5fa5a..1d75b1d 100644
--- a/conf_files/pl_boot
+++ b/conf_files/pl_boot
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+. /tmp/planet.cnf
+
 # Run gpg once to create default options
 GNUPGHOME=/root
 export GNUPGHOME
@@ -152,7 +154,21 @@ while : ; do
 	echo "pl_boot: curl request failed with error $curl_err:"
 	cat /tmp/curl_errors
 	echo
-	continue
+	if [ -n "$DISCONNECTED_OPERATION" ]; then
+	    mkdir /tmp/boot-media
+	    mount -U "$DISCONNECTED_OPERATION" /tmp/boot-media
+	    cp /tmp/boot-media/bootscript.gpg $UNVERIFIED_SCRIPT
+	    umount /tmp/boot-media
+	    rmdir /tmp/boot-media
+	else
+	    continue
+	fi
+    elif [ -n "$DISCONNECTED_OPERATION" ]; then
+	mkdir /tmp/boot-media
+	mount -U "$DISCONNECTED_OPERATION" /tmp/boot-media
+	cp $UNVERIFIED_SCRIPT /tmp/boot-media
+	umount /tmp/boot-media
+	rmdir /tmp/boot-media
     fi 
 
     echo "pl_boot: verifying downloaded script"