X-Git-Url: http://git.hcoop.net/hcoop/portal.git/blobdiff_plain/b9d4f4d74a681755843c3f334799f938f5a43885..5e6afd1afad649716c54d0776da7539f097dcaa4:/aptquery.sml

diff --git a/aptquery.sml b/aptquery.sml
index 6818938..d7fc8cc 100644
--- a/aptquery.sml
+++ b/aptquery.sml
@@ -14,7 +14,7 @@ fun query {node, pkg = name} =
 	    else
 		raise Fail "Invalid package name"
 
-	val proc = Unix.execute ("/usr/bin/apt-cache", ["show", name])
+	val proc = Unix.executeInEnv ("/usr/local/bin/domtool-admin", ["package-exists", Init.nodeName node, name], ["DOMTOOL_USER=hcoop"])
 	val inf = Unix.textInstreamOf proc
 
 	fun loop (section, descr) =