X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/73b9542320e82ad398689b66bc1938c78cc53be0..a8e88df70a675cce965380df971c9e3c4d283a5e:/src/main.sig?ds=sidebyside diff --git a/src/main.sig b/src/main.sig index db7ab02..0f90ba9 100644 --- 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