From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Fri, 7 Dec 2012 20:19:48 +0000 (-0500)
Subject: Use jump instead of goto in firewall
X-Git-Tag: release_20121207~1
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/7ceba9683f4372dfc348e0774a550a573fdcfefa

Use jump instead of goto in firewall
They do the same thing, but ferm renamed the keyword to reflect what
it does better.
---

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"]);