diff --git a/collects/handin-server/private/config.ss b/collects/handin-server/private/config.ss index 84f3f44f37..bcccb68f45 100644 --- a/collects/handin-server/private/config.ss +++ b/collects/handin-server/private/config.ss @@ -1,5 +1,5 @@ (module config mzscheme - (require (lib "file.ss") (lib "list.ss")) + (require (lib "file.ss") (lib "list.ss") "logger.ss") ;; This module should be invoked when we're in the server directory (provide server-dir) @@ -27,6 +27,7 @@ (error 'get-conf "could not read conf (~a)" config-file))]) + (log-line "(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 diff --git a/collects/handin-server/private/reloadable.ss b/collects/handin-server/private/reloadable.ss index 44d76fb1dc..b1f855baee 100644 --- a/collects/handin-server/private/reloadable.ss +++ b/collects/handin-server/private/reloadable.ss @@ -1,6 +1,6 @@ (module reloadable mzscheme - (require (lib "moddep.ss" "syntax")) + (require (lib "moddep.ss" "syntax") "logger.ss") (provide reload-module) (define (reload-module modspec path) @@ -14,6 +14,7 @@ "unexpected module name for ~e: ~e" modspec name))] [prefix (let-values ([(base name dir?) (split-path name)]) (string->symbol (format ",~a" base)))]) + (log-line "(re)loading module from ~a" modspec) (parameterize ([current-module-name-prefix prefix] [compile-enforce-module-constants #f]) (load/use-compiled path))))