From 7ceba9683f4372dfc348e0774a550a573fdcfefa Mon Sep 17 00:00:00 2001 From: Clinton Ebadi Date: Fri, 7 Dec 2012 15:19:48 -0500 Subject: [PATCH] Use jump instead of goto in firewall They do the same thing, but ferm renamed the keyword to reflect what it does better. --- src/plugins/firewall.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/firewall.sml b/src/plugins/firewall.sml index 10e44de..9fd64f9 100644 --- a/src/plugins/firewall.sml +++ b/src/plugins/firewall.sml @@ -117,7 +117,7 @@ fun generateFirewallConfig {server_rules, client_rules} = TextIO.output (outf, String.concat ["mod owner uid-owner ", Int.toString uid, - " { goto user_", + " { jump user_", uname, suffix, "; DROP; }\n"]); -- 2.20.1