From fdc43c6c0d3d994d2e186b35684fea500d00ed22 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 15 Jul 2008 14:58:54 +0000 Subject: [PATCH 1/1] Reduce set of ACL categories to which '-fake' applies --- src/domain.sml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/domain.sml b/src/domain.sml index f31d704..488d7a8 100644 --- a/src/domain.sml +++ b/src/domain.sml @@ -132,10 +132,9 @@ fun validDomain s = fun validNode s = List.exists (fn s' => s = s') nodes fun yourDomain s = !fakePrivs orelse SS.member (your_domains (), s) -fun yourUser s = !fakePrivs orelse SS.member (your_users (), s) -fun yourGroup s = !fakePrivs orelse SS.member (your_groups (), s) +fun yourUser s = SS.member (your_users (), s) +fun yourGroup s = SS.member (your_groups (), s) fun checkPath paths path = - !fakePrivs orelse (List.all (fn s => s <> "..") (String.fields (fn ch => ch = #"/") path) andalso CharVector.all (fn ch => Char.isAlphaNum ch orelse ch = #"." orelse ch = #"/" orelse ch = #"-" orelse ch = #"_") path -- 2.20.1