From d160ead67090d3119f174e9e4122cb081f19ab7b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 30 Sep 2009 02:55:01 +0000 Subject: [PATCH] when the config file cannot be read, report the error message too svn: r16177 --- collects/handin-server/private/config.ss | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/handin-server/private/config.ss b/collects/handin-server/private/config.ss index ffaead0b06..e802543b78 100644 --- a/collects/handin-server/private/config.ss +++ b/collects/handin-server/private/config.ss @@ -28,10 +28,11 @@ (unless (and filetime (equal? filetime last-filetime)) (set! last-filetime filetime) (set! raw-config - (with-handlers ([void (lambda (_) + (with-handlers ([void (lambda (e) (error 'get-conf - "could not read conf (~a)" - config-file))]) + "could not read conf (~a): ~a" + config-file + (exn-message e)))]) (when raw-config ;; can't use log-line from logger, since it makes a cycle (fprintf (current-error-port)