From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Fri, 15 May 2015 18:32:30 +0000 (-0400)
Subject: don't complain about $user.daemon missing a domtool dir
X-Git-Tag: release_20150515~1
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b7c96dd38a17463ea57a5527b4837571dbc61cba?hp=6358f7457d2eff91983218f86c2eba9b4bb86a7c

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
--- 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");