Add query for existence of package

[hcoop/domtool2.git] / src / main-admin.sml

diff --git a/src/main-admin.sml b/src/main-admin.sml
index 2353617..2e4c74b 100644 (file)
--- 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})