- (user, String.substring (line, 0, size line - 1)))
+ case String.tokens (fn ch => Char.isSpace ch orelse ch = #":" orelse ch = #"'" orelse ch = #",") line of
+ [vhost, _] => {user = user, dom = dom, vhost = "http://" ^ vhost}
+ | _ => {user = user, dom = dom, vhost = "<<<Parse failure in " ^ mmf ^ ">>>"})