HCoop
/
bpt
/
portal.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Most of lowering of pledges for delinquents
[bpt/portal.git]
/
aptquery.sml
diff --git
a/aptquery.sml
b/aptquery.sml
index
39b37ef
..
6818938
100644
(file)
--- a/
aptquery.sml
+++ b/
aptquery.sml
@@
-33,7
+33,7
@@
fun query {node, pkg = name} =
let
val _ = Unix.reap proc
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
in
SOME {name = name, section = section, descr = descr, installed = installed}
end