From b1563bce4b7af8e23535fd9d806d42f52fcf41fa Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 1 Jan 2008 22:27:58 +0000 Subject: [PATCH] Report when users' ~/.domtool directories are unreadable --- src/main.sml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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"); -- 2.20.1