print "</ol>\n\n"
end
+
+ fun peer1 () =
+ let
+ val inf = TextIO.openIn "/afs/hcoop.net/user/h/hc/hcoop/contact/peer1.html"
+
+ fun loop () =
+ case TextIO.inputLine inf of
+ NONE => ()
+ | SOME line => (print line;
+ loop ())
+ in
+ loop ();
+ TextIO.closeIn inf
+ end
in
print "<html><head><title>HCoop Emergency Contact Information</title></head><body><h1>HCoop Emergency Contact Information</h1>\n";
print "\">E-mail everyone (off-HCoop addresses)</a></h2>\n\n";
app doOne kinds;
+
+ print "<h2>Peer 1 phone numbers</h2>\n\n";
+ peer1 ();
+
print "</body></html>\n";
C.close db;
OS.Process.success