From 7bf793352cfacb3a434a8638065d50952b834a09 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 29 Jan 2007 01:16:04 +0000 Subject: [PATCH] log lines when reloading modules or configuration svn: r5487 --- collects/handin-server/private/config.ss | 3 ++- collects/handin-server/private/reloadable.ss | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) 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))))