X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/c17d0537db6e55a6b2bbd1a459542a5fbb44a68f..1ffc47a68def0e10e393ad4d8e62b7d6f7300c01:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index 1a9ceac..4ce4170 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -55,7 +55,7 @@ val _ = | ["tpe", node, uname] => OS.Process.exit (Main.requestTrustedPath {node = node, uname = uname}) | ["sockperm", node, uname] => OS.Process.exit (Main.requestSocketPerm {node = node, uname = uname}) | ["firewall", node, uname] => OS.Process.exit (Main.requestFirewall {node = node, uname = uname}) - | ["describe", dom] => print (Domain.describe dom) + | ["describe", dom] => Main.requestDescribe dom | ["users"] => (Acl.read Config.aclFile; app (fn s => (print s; print "\n")) (Acl.users ()))