X-Git-Url: https://git.hcoop.net/hcoop/zz_old/portal.git/blobdiff_plain/8023de7bf992fe7be73256cece7ba09e320e98f8..fb88d4e5b6d8e0c16b194aaab010c5dc17535aec:/aptquery.sml diff --git a/aptquery.sml b/aptquery.sml index 39b37ef..6818938 100644 --- a/aptquery.sml +++ b/aptquery.sml @@ -33,7 +33,7 @@ fun query {node, pkg = name} = let val _ = Unix.reap proc - val installed = OS.Process.isSuccess (OS.Process.system ("DOMTOOL_USER=apache2.deleuze.hcoop.net /usr/local/bin/domtool-admin package " ^ Init.nodeName node ^ " " ^ name ^ " >/dev/null 2>/dev/null")) + val installed = OS.Process.isSuccess (OS.Process.system ("DOMTOOL_USER=hcoop /usr/local/bin/domtool-admin package " ^ Init.nodeName node ^ " " ^ name ^ " >/dev/null 2>/dev/null")) in SOME {name = name, section = section, descr = descr, installed = installed} end