From 5982c377d781eee86238df7260b9be01a2a228a8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 17 May 2007 19:12:40 +0000 Subject: [PATCH] Clear error message for trying to run all config in a nonexistent directory --- Makefile | 7 ++++++- src/main.sml | 8 ++++++++ 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 43719ea..c4512ec 100644 --- a/Makefile +++ b/Makefile @@ -163,7 +163,12 @@ install: cp src/plugins/domtool-postgres /usr/local/sbin/ cp src/plugins/domtool-mysql /usr/local/sbin/ -.PHONY: grab_lib +.PHONY: grab_lib install_server install_slave grab_lib: rsync -r --delete /afs/hcoop.net/common/etc/domtool/lib/* lib/ + +install_server: + sudo /etc/init.d/domtool-server stop + sudo make install + sudo /etc/init.d/domtool-server start 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) -- 2.20.1