HCoop
/
hcoop
/
portal.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
ccb53e5
)
Include Peer 1 contact info in contact report
author
Adam Chlipala
<adamc@hcoop.net>
Tue, 23 Dec 2008 16:12:36 +0000
(16:12 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Tue, 23 Dec 2008 16:12:36 +0000
(16:12 +0000)
contact/contact.sml
patch
|
blob
|
blame
|
history
diff --git
a/contact/contact.sml
b/contact/contact.sml
index
68ca0c3
..
b7390e9
100644
(file)
--- a/
contact/contact.sml
+++ b/
contact/contact.sml
@@
-60,6
+60,20
@@
fun main _ =
print "</ol>\n\n"
end
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";
in
print "<html><head><title>HCoop Emergency Contact Information</title></head><body><h1>HCoop Emergency Contact Information</h1>\n";
@@
-68,6
+82,10
@@
fun main _ =
print "\">E-mail everyone (off-HCoop addresses)</a></h2>\n\n";
app doOne kinds;
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
print "</body></html>\n";
C.close db;
OS.Process.success