diff --git a/collects/handin-server/main.ss b/collects/handin-server/main.ss index ba1730692c..55291a7012 100644 --- a/collects/handin-server/main.ss +++ b/collects/handin-server/main.ss @@ -622,9 +622,7 @@ (log-line "server started ------------------------------") (hook 'server-start `([port ,(get-conf 'port-number)])) -(define stop-status - (cond [(get-conf 'https-port-number) => web:run] - [else void])) +(define stop-status (web:run)) (define session-count 0) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index d6b37813a5..f6cc7090ce 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -266,15 +266,18 @@ handin-server/private/hooker handin-server/private/reloadable) #:manager (make-threshold-LRU-manager - (send-error "Your session has expired") (* 12 1024 1024)))) - - + (send-error "Your session has expired") (* 12 1024 1024)) + #:log-file (get-conf 'web-log-file))) (provide run) -(define (run p) - (define t - (thread (lambda () (dynamic-wind - (lambda () (log-line "*** starting web server")) - (run-servlet p) - (lambda () (log-line "*** web server died!")))))) - (lambda () (break-thread t))) +(define (run) + (cond [(get-conf 'https-port-number) + => (lambda (p) + (define t + (thread (lambda () + (dynamic-wind + (lambda () (log-line "*** starting web server")) + (run-servlet p) + (lambda () (log-line "*** web server died!")))))) + (lambda () (break-thread t)))] + [else void]))