X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=plc.d%2Fbootmanager;h=3fd204a8e5154308b970599cf162db5f7c5fd182;hb=f51604ac9a0f76a71d698952c7bbba1fcb46b3af;hp=f2d08c871b95600afe535098b6e407188ef9e12c;hpb=5f71a74d22905ba815bd9f3583fd6f4790624328;p=myplc.git

diff --git a/plc.d/bootmanager b/plc.d/bootmanager
index f2d08c8..3fd204a 100755
--- a/plc.d/bootmanager
+++ b/plc.d/bootmanager
@@ -7,13 +7,16 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: bootmanager,v 1.1 2006/04/06 21:51:59 mlhuang Exp $
+# $Id: bootmanager,v 1.2 2006/04/25 21:18:19 mlhuang Exp $
 #
 
 # Source function library and configuration
 . /etc/plc.d/functions
 . /etc/planetlab/plc_config
 
+# Be verbose
+set -x
+
 case "$1" in
     start)
 	if [ "$PLC_BOOT_ENABLED" != "1" -a \