From fa1329203360e10261de9455e67b95a6173d0c62 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 28 Dec 2009 22:14:26 +0000 Subject: [PATCH] reorganize web-starting code, to make it possible to separate it svn: r17423 --- collects/handin-server/web-status-server.ss | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) 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]))