diff --git a/collects/handin-server/private/config.ss b/collects/handin-server/private/config.ss index 8ffd99c7f1..bf1085ef67 100644 --- a/collects/handin-server/private/config.ss +++ b/collects/handin-server/private/config.ss @@ -30,7 +30,7 @@ (when raw-config ;; can't use log-line from logger, since it makes a cycle (fprintf (current-error-port) - (format "loading configuration from ~a" + (format "loading configuration from ~a\n" config-file))) (with-input-from-file config-file read))) (set! config-cache (make-hash-table)))))