X-Git-Url: https://git.hcoop.net/hcoop/portal.git/blobdiff_plain/7be17e399998dd47138ad59821dde0447c207b61..1486ed1b6f35f6a1d0da2c1cc201cbf317a00931:/init.sml diff --git a/init.sml b/init.sml index cd066b1..ba3b2bf 100644 --- a/init.sml +++ b/init.sml @@ -151,7 +151,7 @@ fun modUser (user : user) = fun byPledge () = C.map (getDb ()) mkUserRow ($`SELECT id, name, rname, bal, joined, app, shares, paypal, checkout - FROM WebUser + FROM WebUserPaying WHERE shares > 1 ORDER BY shares DESC, name`) @@ -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