X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/d5772aa364d60b3a005443b07db58672d64b0432..991d8e6619bc9ff2182a39cfbeead53bee768a99:/src/main-admin.sml diff --git a/src/main-admin.sml b/src/main-admin.sml index 2353617..2e4c74b 100644 --- a/src/main-admin.sml +++ b/src/main-admin.sml @@ -50,6 +50,7 @@ val _ = | ["slave-shutdown"] => Main.requestSlaveShutdown () | ["slave-ping"] => OS.Process.exit (Main.requestSlavePing ()) | ["package", node, pkg] => OS.Process.exit (Main.requestApt {node = node, pkg = pkg}) + | ["package-exists", node, pkg] => OS.Process.exit (Main.requestAptExists {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})