summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
6358f74)
Not committed to this yet, but current hcoop.daemon exists with no
path or other permissions simply to allow queries to domtool and
management of vmail accounts. Ignore lack of .domtool directory.
ignore (foldl checker' (basis', SM.empty) files)
end
end
ignore (foldl checker' (basis', SM.empty) files)
end
end
- else if String.isSuffix "_admin" user then
+ else if (String.isSuffix "_admin" user) orelse (String.isSuffix ".daemon" user) then
()
else
(print ("Couldn't access " ^ user ^ "'s ~/.domtool directory.\n");
()
else
(print ("Couldn't access " ^ user ^ "'s ~/.domtool directory.\n");