From 4ac8f6393ed3c9f055168063490fc7503fb71762 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 12 Sep 2005 14:19:29 +0000
Subject: [PATCH] 'retired' group for users who shouldn't be allowed to log in

---
 init.sml   | 2 +-
 tables.sql | 9 +++++++++
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/init.sml b/init.sml
index 0d1a920..0010c74 100644
--- 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
--- 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;
+
-- 
2.20.1