From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 1 Jan 2008 22:27:58 +0000 (+0000)
Subject: Report when users' ~/.domtool directories are unreadable
X-Git-Tag: release_2010-11-19~68
X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/b1563bce4b7af8e23535fd9d806d42f52fcf41fa?hp=5817600b9fb6b1a43268462d2255908682937c13;ds=inline

Report when users' ~/.domtool directories are unreadable
---

diff --git a/src/main.sml b/src/main.sml
index 9bc87cd..eaee4fc 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -1026,8 +1026,11 @@ fun regenerateEither tc checker context =
 			    ();
 			app checker files
 		    end
+		else if String.isSuffix "_admin" user then
+		    ()    
 		else
-		    ()
+		    (print ("Couldn't access " ^ user ^ "'s ~/.domtool directory.\n");
+		     ok := false)
 	    end
 	    handle IO.Io {name, function, ...} =>
 		   (print ("IO error processing user " ^ user ^ ": " ^ function ^ ": " ^ name ^ "\n");