From 0d717c7eaa407b702ce11e125433551d25e62415 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 2 Oct 2005 16:12:02 +0000 Subject: [PATCH] Bug fixes --- fwtool.sml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 -- 2.20.1