'retired' group for users who shouldn't be allowed to log in

diff --git a/init.sml b/init.sml
index 0d1a920..0010c74 100644 (file)
--- a/init.sml
+++ b/init.sml
@@ -48,7 +48,7 @@ fun init () =
            NONE => raise Fail "Not logged in"
          | SOME name =>
            (case C.oneOrNoRows c ($`SELECT id, name, rname, bal, joined, app
-                                    FROM WebUser
+                                    FROM WebUserActive
                                     WHERE name=^(C.stringToSql name)`) of
                 NONE => raise Fail "User not found"
               | SOME r =>

diff --git a/tables.sql b/tables.sql
index ea72c45..2f40212 100644 (file)
--- a/tables.sql
+++ b/tables.sql
@@ -247,3 +247,12 @@ CREATE TABLE AppVote(
        FOREIGN KEY (app) REFERENCES MemberApp(id) ON DELETE CASCADE,
        FOREIGN KEY (usr) REFERENCES WebUser(id) ON DELETE CASCADE);
 
+CREATE VIEW WebUserActive
+       AS SELECT id, name, rname, bal, joined, app
+               FROM WebUser
+                       LEFT OUTER JOIN (SELECT usr FROM Membership JOIN WebGroup
+                               ON grp = WebGroup.id AND WebGroup.name = 'retired') AS mem
+                               ON usr = WebUser.id 
+
+               WHERE usr IS NULL;
+