- also list PLC_DB_HOST

[myplc.git] / plc.d / network

diff --git a/plc.d/network b/plc.d/network
index f84d9aa..d93f4e8 100755 (executable)
--- a/plc.d/network
+++ b/plc.d/network
@@ -7,13 +7,16 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: network,v 1.3 2006/05/16 17:09:34 mlhuang Exp $
+# $Id: network,v 1.5 2006/06/23 20:29:22 mlhuang Exp $
 #
 
 # Source function library and configuration
 . /etc/plc.d/functions
 . /etc/planetlab/plc_config
 
+# Be verbose
+set -x
+
 case "$1" in
     start)
        MESSAGE=$"Generating network files"
@@ -22,7 +25,7 @@ case "$1" in
        # Minimal /etc/hosts
        echo "127.0.0.1 localhost.localdomain localhost" >/etc/hosts
        (
-           for server in API BOOT WWW ; do
+           for server in DB API BOOT WWW ; do
                hostname=PLC_${server}_HOST
                ip=PLC_${server}_IP
                if [ -n "${!ip}" ] ; then