From c4c9e7706d103af80dd7f474f77f4899aa193a9f Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 8 Dec 2007 19:46:39 +0000 Subject: [PATCH] All-in-one member retiring --- users.mlt | 22 ++++++++++++++++++++-- 1 file changed, 20 insertions(+), 2 deletions(-) diff --git a/users.mlt b/users.mlt index 1a3201c..6a6dfc8 100644 --- a/users.mlt +++ b/users.mlt @@ -75,7 +75,24 @@ elseif $"mod" <> "" then Init.deleteUser (Web.stoi ($"del2")) %>

<% #name user %> deleted!

-<% elseif $"cmd" = "grandfather" then +<% elseif $"retire" <> "" then + showNormal := false; + val user = Init.lookupUser (Web.stoi ($"retire")) %> +

Are you sure you want to retire member <% #name user %>?

+ ">Yes, retire <% #name user %>! + +<% elseif $"retire2" <> "" then + val usr = Web.stoi ($"retire2"); + val user = Init.lookupUser usr; + switch (Group.groupNameToId "paying", Group.groupNameToId "retired") of + (SOME paying, SOME retired) => + Group.removeFromGroup {usr = usr, grp = paying}; + Group.addToGroup {usr = usr, grp = retired} %> +

<% #name user %> retired!

<% + | _ => %>

Couldn't find "paying" or "retired" group by name!

<% + end + +elseif $"cmd" = "grandfather" then Init.grandfatherUsers() %>

Grandfathered

@@ -169,7 +186,8 @@ end %> if #name bal <> #name user then %> <% Web.html (#name bal) %> <% end %> - [Modify] [Delete] + [Modify] [Delete] + [Retire] <% end %> -- 2.20.1