X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2ce8fb3fe6c8e9b2b714f0e578e5332d9ff1d6cf..5982c377d781eee86238df7260b9be01a2a228a8:/src/main.sml

diff --git a/src/main.sml b/src/main.sml
index 4e377a9..51b8347 100644
--- a/src/main.sml
+++ b/src/main.sml
@@ -242,6 +242,14 @@ fun request fname =
 
 fun requestDir dname =
     let
+	val _ = if Posix.FileSys.access (dname, []) then
+		    ()
+		else
+		    (print ("Can't access " ^ dname ^ ".\n");
+		     print "Did you mean to run domtool on a specific file, instead of asking for all\n";
+		     print "files in your ~/domtool directory?\n";
+		     OS.Process.exit OS.Process.failure)
+
 	val _ = ErrorMsg.reset ()
 
 	val (user, bio) = requestBio (fn () => checkDir dname)