X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/411a85f26421358c20b11839310cce6caff8cf77..9f27d58f1ce0833bb5460d7ca612c74f378548a1:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index b4ba422..1eda532 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -16,10 +16,33 @@ * 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 + NONE => () + | SOME classes => + (print ("Permissions for " ^ user ^ ":\n"); + app (fn (class, values) => + (print (class ^ ":"); + app (fn value => print (" " ^ value)) values; + print "\n")) classes) 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 | _ => print "Invalid command-line arguments\n"