From: Adam Chlipala Date: Sun, 2 Oct 2005 16:12:02 +0000 (+0000) Subject: Bug fixes X-Git-Url: http://git.hcoop.net/hcoop/zz_old/fwtool.git/commitdiff_plain Bug fixes --- diff --git a/fwtool.sml b/fwtool.sml index 55ec010..8fe1dfc 100644 --- a/fwtool.sml +++ b/fwtool.sml @@ -47,7 +47,7 @@ fun main _ = Int.toString uid, " { goto user_", uname, - "_tcp_in goto lreject; }\n"])), + "_tcp_in; goto lreject; }\n"])), in_lines) val confLine_out = confLine ((fn (uid, uname) => @@ -100,14 +100,14 @@ fun main _ = in StringMap.appi (fn (uname, lines) => TextIO.output (users_conf, - String.concat ("chain users_" + String.concat ("chain user_" :: uname :: "_tcp_in proto tcp {\n" :: lines @ ["}\n\n"]))) (!in_lines); StringMap.appi (fn (uname, lines) => TextIO.output (users_conf, - String.concat ("chain users_" + String.concat ("chain user_" :: uname :: "_tcp_out proto tcp {\n" :: lines