From b7c96dd38a17463ea57a5527b4837571dbc61cba Mon Sep 17 00:00:00 2001
From: Clinton Ebadi <clinton@unknownlamer.org>
Date: Fri, 15 May 2015 14:32:30 -0400
Subject: [PATCH] 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.
---
 src/main.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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