X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/e510b9bd5473172d18684bfe02f9fab5dc1cf98a..10e55875c83d1d44a0b8d31ff1e49cfec843e9a2:/sec.sig diff --git a/sec.sig b/sec.sig dissimilarity index 60% index 494e5d7..2ab3bbd 100644 --- a/sec.sig +++ b/sec.sig @@ -1,18 +1,20 @@ -signature SEC = sig - structure Req : REQUEST_OUT - - val findSubusers : string -> string list - - datatype socket_perms = - ANY - | CLIENT_ONLY - | SERVER_ONLY - | NADA - - val inGroup : string * string -> bool - val socketPerms : string -> socket_perms - val isTpe : string -> bool - val cronAllowed : string -> bool - - val findFirewallRules : string -> string list -end +signature SEC = sig + structure Req : REQUESTH_OUT + + val findSubusers : string -> string list + + datatype socket_perms = + ANY + | CLIENT_ONLY + | SERVER_ONLY + | NADA + + val socketPerms : {node : int, uname : string} -> socket_perms + val isTpe : {node : int, uname : string} -> bool + val cronAllowed : {node : int, uname : string} -> bool + val ftpAllowed : {node : int, uname : string} -> bool + + val findFirewallRules : {node : int, uname : string} -> string list + + val validRule : string -> bool +end