-. $srcdir/source/configuration
-
-# Write boot script. plc_www/boot/index.php writes this script out
-# after a nonce check.
-
-DEST_SCRIPT=bootmanager.sh
-if [ -n "$NODEGROUP" ] ; then
- DEST_SCRIPT="${NODEGROUP}_bootmanager.sh"
- # Remove the old version or any sym links prior to re-writing
- rm -f ${DEST_SCRIPT}
- rm -f ${DEST_SCRIPT}.sgn
-fi
-
-cat > $DEST_SCRIPT <<EOF
-#!/bin/bash
-#
-# PlanetLab Boot Manager $VERSION
-#
-# DO NOT EDIT. Generated by $USER@$HOSTNAME at
-# $(date)
-#