Include Peer 1 contact info in contact report
authorAdam Chlipala <adamc@hcoop.net>
Tue, 23 Dec 2008 16:12:36 +0000 (16:12 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Tue, 23 Dec 2008 16:12:36 +0000 (16:12 +0000)
contact/contact.sml

index 68ca0c3..b7390e9 100644 (file)
@@ -60,6 +60,20 @@ fun main _ =
 
                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";
 
@@ -68,6 +82,10 @@ fun main _ =
        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