+ | ["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})