X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/563e77927eb5faaae4571bd2b0811de590368581..9508dec7476457717d3606f868783e90ebc2d653:/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})