From ac6e04e7471b64c2b150d540f90bbd4b6c27e4d5 Mon Sep 17 00:00:00 2001
From: Daniel Hokka Zakrisson <dhokka@cs.princeton.edu>
Date: Mon, 9 Nov 2009 01:13:25 +0000
Subject: [PATCH] Make the network script disableable if manual setup of
 /etc/hosts is required.

---
 default_config.xml | 6 ++++++
 plc.d/network      | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/default_config.xml b/default_config.xml
index 7a59c9d..48a7f03 100644
--- a/default_config.xml
+++ b/default_config.xml
@@ -124,6 +124,12 @@ $URL$
       <description>Network environment.</description>
 
       <variablelist>
+        <variable id="enabled" type="boolean">
+          <name>Enable network configuration</name>
+          <value>true</value>
+          <description>Let PLC manage /etc/hosts</description>
+        </variable>
+
 	<variable id="dns1" type="ip">
 	  <name>Primary DNS Server</name>
 	  <value>127.0.0.1</value>
diff --git a/plc.d/network b/plc.d/network
index 9283f58..f2c3dce 100755
--- a/plc.d/network
+++ b/plc.d/network
@@ -17,6 +17,8 @@
 # Be verbose
 set -x
 
+[ "$PLC_NET_ENABLED" -ne 1 ] && exit 0
+
 case "$1" in
     start)
 	MESSAGE=$"Generating network files"
-- 
2.43.0