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)