diff --git a/collects/handin-server/main.ss b/collects/handin-server/main.ss index 8d08230fc1..35b0fa171a 100644 --- a/collects/handin-server/main.ss +++ b/collects/handin-server/main.ss @@ -623,8 +623,9 @@ ;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -(log-line "server started ------------------------------") -(hook 'server-start `([port ,(get-conf 'port-number)])) +(let ([port (get-conf 'port-number)]) + (log-line "server started on port ~a ------------------------------" port) + (hook 'server-start `([port ,port]))) (define stop-status (web:run))