don't complain about $user.daemon missing a domtool dir

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.

diff --git a/src/main.sml b/src/main.sml
index fcbcafe..0a241fa 100644 (file)
--- a/src/main.sml
+++ b/src/main.sml
@@ -1172,7 +1172,7 @@ fun regenerateEither tc checker context =
                            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");