From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 2 Oct 2005 16:07:53 +0000 (+0000)
Subject: Go live with real firewall path
X-Git-Url: https://git.hcoop.net/hcoop/zz_old/fwtool.git/commitdiff_plain/ed33c0487a48a2f5f1286be06b7eb78d76814030

Go live with real firewall path
---

diff --git a/config.sml b/config.sml
index 843281a..8f2d76e 100644
--- a/config.sml
+++ b/config.sml
@@ -21,7 +21,7 @@ Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
 
 structure Config = struct
 
-val fwdir = "/home/adamc_admin"
+val fwdir = "/etc/firewall"
 (* Where firewall config lives *)
 
 end