From: adamch Date: Sat, 4 Nov 2006 16:16:35 +0000 (+0000) Subject: Propagate domain validity check code to app X-Git-Url: http://git.hcoop.net/hcoop/zz_old/portal.git/commitdiff_plain/4e630cf80da87dc2632ead3280d304c09d57c55c Propagate domain validity check code to app --- diff --git a/app/app.sml b/app/app.sml index dba8cee..b28169f 100644 --- a/app/app.sml +++ b/app/app.sml @@ -124,7 +124,7 @@ fun apply {name, rname, gname, email, forward, uses, other} = | _ => raise Fail "Bad next sequence val" end -fun isIdent ch = Char.isLower ch orelse Char.isDigit ch +fun isIdent ch = Char.isLower ch orelse Char.isDigit ch orelse ch = #"-" fun validHost s = size s > 0 andalso size s < 20 andalso List.all isIdent (String.explode s)