Add shutdown command

[hcoop/domtool2.git] / src / main-admin.sml

diff --git a/src/main-admin.sml b/src/main-admin.sml
index e3dc67b..1eda532 100644 (file)
--- a/src/main-admin.sml
+++ b/src/main-admin.sml
@@ -30,7 +30,8 @@ fun requestPerms user =
 
 val _ =
     case CommandLine.arguments () of
 
 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 ())))
       | ["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 ())))