- also list PLC_DB_HOST

diff --git a/plc.d/network b/plc.d/network
index 8c7cf95..d93f4e8 100755 (executable)
--- a/plc.d/network
+++ b/plc.d/network
@@ -7,7 +7,7 @@
 # Mark Huang <mlhuang@cs.princeton.edu>
 # Copyright (C) 2006 The Trustees of Princeton University
 #
-# $Id: network,v 1.4 2006/05/23 18:10:08 mlhuang Exp $
+# $Id: network,v 1.5 2006/06/23 20:29:22 mlhuang Exp $
 #
 
 # Source function library and configuration
@@ -25,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