X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/08a04eb413e8ee58ee35affc5c4125b622ea75c4..75585a67831244a20e460b7336d440d4cabe3b41:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index f79d44e..7062972 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -16,7 +16,7 @@ * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. *) -(* Driver for server *) +(* Driver for admin requests *) fun requestPerms user = case Main.requestListPerms user of @@ -30,8 +30,23 @@ 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 ()))) + | ["whohas", class, value] => + (case Main.requestWhoHas {class = class, value = value} of + NONE => () + | SOME users => + (print ("whohas " ^ class ^ " / " ^ value ^ ":"); + app (fn user => print (" " ^ user)) users; + print "\n")) + | "rmdom" :: doms => Main.requestRmdom doms + | ["regen"] => Main.requestRegen () + | ["rmuser", user] => Main.requestRmuser user + | ["ping"] => OS.Process.exit (Main.requestPing ()) + | ["slave-shutdown"] => Main.requestSlaveShutdown () + | ["slave-ping"] => OS.Process.exit (Main.requestSlavePing ()) + | ["package", node, pkg] => OS.Process.exit (Main.requestApt {node = node, pkg = pkg}) | _ => print "Invalid command-line arguments\n"