diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index aa3716f870..3c344891dd 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -306,10 +306,7 @@ (define (run) (cond [(get-conf 'https-port-number) => (lambda (p) - (define t - (parameterize ([error-print-context-length 0]) - (thread (lambda () - (log-line "*** starting web server") - (run-servlet p))))) - (lambda () (break-thread t)))] + (log-line "*** starting web server") + (parameterize ([error-print-context-length 0]) + (run-servlet p)))] [else void]))