X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/16eaea74ccf93ee4dcbd0e89ac488e77a5ce60fb..51cc45f7d84d0d92700b461a1296b9aa748dd88e:/src/main.sml?ds=sidebyside

diff --git a/src/main.sml b/src/main.sml
index 67e8dc0..02bb485 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -1283,7 +1283,8 @@ fun service () =
 			       | MsgRmdom doms =>
 				 doIt (fn () =>
 					  if Acl.query {user = user, class = "priv", value = "all"}
-					     orelse List.all (fn dom => Acl.query {user = user, class = "domain", value = dom}) doms then
+					     orelse List.all (fn dom => Domain.validDomain dom
+									andalso Acl.queryDomain {user = user, domain = dom}) doms then
 					      (Domain.rmdom doms;
 					       (*app (fn dom =>
 						       Acl.revokeFromAll {class = "domain", value = dom}) doms;