X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/2ee5022632bb4c4f183991b387e4eff7f76dbad8..504618b9ccf4bdbd8b3e27f799770b16c6358a71:/src/main.sml diff --git a/src/main.sml b/src/main.sml index 6644d76..7473fb6 100644 --- a/src/main.sml +++ b/src/main.sml @@ -176,6 +176,7 @@ fun context x = (OpenSSL.context false x) handle e as OpenSSL.OpenSSL s => (print "Couldn't find your certificate.\nYou probably haven't been given any Domtool privileges.\n"; + print ("I looked in: " ^ #1 x ^ "\n"); print ("Additional information: " ^ s ^ "\n"); raise e) @@ -256,7 +257,7 @@ fun requestDir dname = 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"; + print "files in your ~/.domtool directory?\n"; OS.Process.exit OS.Process.failure) val _ = ErrorMsg.reset ()