X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/5543e924e43797dc352f5498438293606e0fd574..75585a67831244a20e460b7336d440d4cabe3b41:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index a07c277..7062972 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -48,4 +48,5 @@ val _ = | ["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"