`fwtool' main

[hcoop/domtool2.git] / src / main.sig

diff --git a/src/main.sig b/src/main.sig
index db7ab02..0f90ba9 100644 (file)
--- a/src/main.sig
+++ b/src/main.sig
@@ -83,4 +83,6 @@ signature MAIN = sig
     val requestTrustedPath : {node : string, uname : string} -> OS.Process.status
     val requestSocketPerm : {node : string, uname : string} -> OS.Process.status
     val requestFirewall : {node : string, uname : string} -> OS.Process.status
+
+    val requestFirewallRegen : string -> OS.Process.status
 end