Allow digits in usernames

diff --git a/init.sml b/init.sml
index 78dd86f..c56044b 100644 (file)
--- a/init.sml
+++ b/init.sml
@@ -131,7 +131,9 @@ fun deleteUser id =
 
 fun validUsername name =
     size name <= 10
-    andalso CharVector.all Char.isAlpha name
+    andalso size name > 0
+    andalso Char.isLower (String.sub (name, 0))
+    andalso CharVector.all Char.isAlphaNum name
 
 fun userNameToId name =
     case C.oneOrNoRows (getDb ()) ($`SELECT id FROM WebUser WHERE name = ^(C.stringToSql name)`) of