From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 2 Feb 2010 13:19:21 +0000 (+0000)
Subject: Join script should rule out retired usernames
X-Git-Url: https://git.hcoop.net/bpt/portal.git/commitdiff_plain/1a386fa5b094a101abedba54ec92a350be1b712f

Join script should rule out retired usernames
---

diff --git a/app/app.sml b/app/app.sml
index bbc12fa..911b5cb 100644
--- a/app/app.sml
+++ b/app/app.sml
@@ -176,7 +176,9 @@ fun validEmail s =
        | _ => false)
 
 fun userExists name =
-    (Posix.SysDB.getpwnam name; true) handle OS.SysErr _ => false
+    case C.oneOrNoRows (getDb ()) ($`SELECT id FROM WebUser WHERE name = ^(C.stringToSql name)`) of
+	SOME _ => true
+      | NONE => (Posix.SysDB.getpwnam name; true) handle OS.SysErr _ => false
 
 fun confirm (id, passwd) =
     let