X-Git-Url: http://git.hcoop.net/bpt/portal.git/blobdiff_plain/466c59448d7bb1abee78e7f3f231be194e73b5ea..64ec9551fc56c42188e195cbbe24c79ad18b293f:/init.sml diff --git a/init.sml b/init.sml index b4d537b..ba3b2bf 100644 --- a/init.sml +++ b/init.sml @@ -159,7 +159,7 @@ fun deleteUser id = C.dml (getDb ()) ($`DELETE FROM WebUser WHERE id = ^(C.intToSql id)`) fun validUsername name = - size name <= 10 + size name <= 12 andalso size name > 0 andalso Char.isLower (String.sub (name, 0)) andalso CharVector.all Char.isAlphaNum name