From: Adam Chlipala <adamc@hcoop.net>
Date: Mon, 14 May 2007 00:02:49 +0000 (+0000)
Subject: Remove ACL entries for users with no permissions
X-Git-Tag: release_2010-11-19~214
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/304961995879cabc7608be06fca2fa31b12332a6

Remove ACL entries for users with no permissions
---

diff --git a/src/acl.sml b/src/acl.sml
index 135e555..f7307b0 100644
--- a/src/acl.sml
+++ b/src/acl.sml
@@ -87,10 +87,18 @@ fun revoke {user, class, value} =
 			 SS.delete (values, value)
 		     else
 			 values
+
+	val classes = if SS.isEmpty values then
+			  (#1 (SM.remove (classes, class)))
+			  handle NotFound => classes
+		      else
+			  SM.insert (classes, class, values)
     in
-	acl := SM.insert (!acl, user,
-			  SM.insert (classes, class,
-				     values))
+	if SM.numItems classes = 0 then
+	    (acl := #1 (SM.remove (!acl, user)))
+	    handle NotFound => ()
+	else
+	    acl := SM.insert (!acl, user, classes)
     end
 
 fun revokeFromAll {class, value} =