HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
SSL certificates
[hcoop/domtool2.git]
/
src
/
main.sml
diff --git
a/src/main.sml
b/src/main.sml
index
29d2b37
..
6585144
100644
(file)
--- a/
src/main.sml
+++ b/
src/main.sml
@@
-665,6
+665,7
@@
fun regenerate context =
end
handle IO.Io _ => ()
| OS.SysErr (s, _) => print ("System error processing user " ^ user ^ ": " ^ s ^ "\n")
+ | ErrorMsg.Error => print ("User " ^ user ^ " had a compilation error.\n")
in
app contactNode Config.nodeIps;
Env.pre ();