X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/62260c5f8627aa2abfd27f7c2e653eb3d900d793..072f12c82089f091932e1e14421986214c93007d:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index ef59a22..0af7088 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -44,6 +44,16 @@ val _ = print "\n")) | "rmdom" :: doms => Main.requestRmdom doms | ["regen"] => Main.requestRegen () + | ["regen", "-tc"] => Main.requestRegenTc () | ["rmuser", user] => Main.requestRmuser user | ["ping"] => OS.Process.exit (Main.requestPing ()) - | _ => print "Invalid command-line arguments\n" + | ["slave-shutdown"] => Main.requestSlaveShutdown () + | ["slave-ping"] => OS.Process.exit (Main.requestSlavePing ()) + | ["package", node, pkg] => OS.Process.exit (Main.requestApt {node = node, pkg = pkg}) + | ["cron", node, uname] => OS.Process.exit (Main.requestCron {node = node, uname = uname}) + | ["ftp", node, uname] => OS.Process.exit (Main.requestFtp {node = node, uname = uname}) + | ["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}) + | _ => (print "Invalid command-line arguments\n"; + print "See the documentation: http://wiki.hcoop.net/wiki/DomTool/AdminProcedures\n")