From 504618b9ccf4bdbd8b3e27f799770b16c6358a71 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 1 Jul 2007 22:24:32 +0000 Subject: [PATCH] More verbose couldn't-find-cert message --- src/main.sml | 1 + 1 file changed, 1 insertion(+) 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) -- 2.20.1