X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/7e197d72e7a51507611aa37e9d05bb135172ceb3..9f27d58f1ce0833bb5460d7ca612c74f378548a1:/src/main-admin.sml

diff --git a/src/main-admin.sml b/src/main-admin.sml
index e3dc67b..1eda532 100644
--- a/src/main-admin.sml
+++ b/src/main-admin.sml
@@ -30,7 +30,8 @@ fun requestPerms user =
 
 val _ =
     case CommandLine.arguments () of
-	["grant", user, class, value] => Main.requestGrant {user = user, class = class, value = value}
+	["shutdown"] => Main.requestShutdown ()
+      | ["grant", user, class, value] => Main.requestGrant {user = user, class = class, value = value}
       | ["revoke", user, class, value] => Main.requestRevoke {user = user, class = class, value = value}
       | ["perms", user] => requestPerms user
       | ["perms"] => requestPerms (Posix.SysDB.Passwd.name (Posix.SysDB.getpwuid (Posix.ProcEnv.getuid ())))