HCoop
/
hcoop
/
domtool2.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
0450236
)
Reduce set of ACL categories to which '-fake' applies
author
Adam Chlipala
<adamc@hcoop.net>
Tue, 15 Jul 2008 14:58:54 +0000
(14:58 +0000)
committer
Adam Chlipala
<adamc@hcoop.net>
Tue, 15 Jul 2008 14:58:54 +0000
(14:58 +0000)
src/domain.sml
patch
|
blob
|
blame
|
history
diff --git
a/src/domain.sml
b/src/domain.sml
index
f31d704
..
488d7a8
100644
(file)
--- 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 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 =
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
(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