diff --git a/collects/handin-server/private/config.ss b/collects/handin-server/private/config.ss index bcccb68f45..7b9403fb3f 100644 --- a/collects/handin-server/private/config.ss +++ b/collects/handin-server/private/config.ss @@ -27,7 +27,10 @@ (error 'get-conf "could not read conf (~a)" config-file))]) - (log-line "(re)loading configuration from ~a" config-file) + ;; can't use log-line from logger, since it makes a cycle + (fprintf (current-error-port) + (format "(re)loading configuration from ~a" + config-file)) (with-input-from-file config-file read))) (set! config-cache (make-hash-table))))) (hash-table-get config-cache key