X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/367eeec82144a470566629fc02a1967fb2a05909..f19ba3232998ecde9c4fb818278444474f4fce66:/src/main.sml?ds=sidebyside

diff --git a/src/main.sml b/src/main.sml
index 52dc753..4539b65 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -939,7 +939,9 @@ fun regenerate context =
 		else
 		    ()
 	    end
-	    handle IO.Io _ => ()
+	    handle IO.Io {name, function, ...} =>
+		   (print ("IO error processing user " ^ user ^ ": " ^ function ^ ": " ^ name ^ "\n");
+		    ok := false)
 		 | OS.SysErr (s, _) => (print ("System error processing user " ^ user ^ ": " ^ s ^ "\n");
 					ok := false)
 		 | ErrorMsg.Error => (ErrorMsg.reset ();