New static file root configuration knob

[hcoop/portal.git] / init.sml

diff --git a/init.sml b/init.sml
index b4d537b..789fcbc 100644 (file)
--- 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
@@ -311,4 +311,10 @@ fun searchCheckout checkout =
                                  WHERE checkout = ^(C.stringToSql (normEmail checkout))
                                  ORDER BY name`)
 
+fun searchRealName realname =
+    C.map (getDb ()) mkUserRow ($`SELECT id, name, rname, bal, joined, app, shares, paypal, checkout
+                                 FROM WebUser
+                                 WHERE rname ILIKE ^(C.stringToSql ("%" ^ realname ^ "%"))
+                                 ORDER BY name`)
+
 end