X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/737c68d4f3a11a344c7469085615e7a335c9a1b3..f9548f1652232653178ffd9839b9cbbf7f87316b:/src/main.sig diff --git a/src/main.sig b/src/main.sig index ce81c60..3b0c791 100644 --- a/src/main.sig +++ b/src/main.sig @@ -74,4 +74,5 @@ signature MAIN = sig val requestFtp : {node : string, uname : string} -> OS.Process.status 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 end