X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=plc.d%2Fdns;h=8c8f87cd5128ea259e0f86813cd0fe312dda0e8a;hb=f51604ac9a0f76a71d698952c7bbba1fcb46b3af;hp=ac639e40c28675ae33819dd3ced17cc881bd0375;hpb=5f71a74d22905ba815bd9f3583fd6f4790624328;p=myplc.git

diff --git a/plc.d/dns b/plc.d/dns
index ac639e4..8c8f87c 100755
--- a/plc.d/dns
+++ b/plc.d/dns
@@ -8,13 +8,16 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: dns,v 1.1 2006/05/23 18:10:08 mlhuang Exp $
+# $Id: dns,v 1.2 2006/05/26 19:57:30 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_DNS_ENABLED" != "1" ] ; then