From: Adam Chlipala Date: Sun, 1 Jul 2007 22:24:32 +0000 (+0000) Subject: More verbose couldn't-find-cert message X-Git-Tag: release_2010-11-19~183 X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/commitdiff_plain/504618b9ccf4bdbd8b3e27f799770b16c6358a71?hp=e7905534fc80fd5eeee68f33cbdc15572c858b05;ds=sidebyside More verbose couldn't-find-cert message --- diff --git a/src/main.sml b/src/main.sml index 2e350cc..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)