From 1a386fa5b094a101abedba54ec92a350be1b712f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 2 Feb 2010 13:19:21 +0000
Subject: [PATCH] Join script should rule out retired usernames

---
 app/app.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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
-- 
2.20.1