Magic http prefix adding
authorAdam Chlipala <adamc@hcoop.net>
Sat, 8 Dec 2007 22:55:11 +0000 (22:55 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 8 Dec 2007 22:55:11 +0000 (22:55 +0000)
mailinglist.sml

index fbc317a..37f31df 100644 (file)
@@ -29,12 +29,12 @@ fun listWebHost name =
                         NONE => {user = user, dom = dom, vhost = "<<<No darned data in " ^ mmf ^ ">>>"}
                       | SOME line =>
                         case String.tokens (fn ch => Char.isSpace ch orelse ch = #":" orelse ch = #"'" orelse ch = #",") line of
-                            [vhost, _] => {user = user, dom = dom, vhost = vhost}
+                            [vhost, _] => {user = user, dom = dom, vhost = "http://" ^ vhost}
                           | _ => {user = user, dom = dom, vhost = "<<<Parse failure in " ^ mmf ^ ">>>"})
                    before TextIO.closeIn inf
                end handle _ => {user = user, dom = dom, vhost = "<<<A darn old exception reading " ^ mmf ^ ">>>"}
            else
-               {user = user, dom = dom, vhost = dom}
+               {user = user, dom = dom, vhost = "https://lists.hcoop.net"}
        end
       | _ => raise (Fail "Bad mailing list name")