From 827b76cb6fb431a7d34fc8fef1d17dcced35b876 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 20 Nov 2008 09:54:05 +0000 Subject: [PATCH] return a thunk that can kill the web server svn: r12532 --- collects/handin-server/web-status-server.ss | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index 64307edc6e..d6c371ab5c 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -272,8 +272,9 @@ (provide run) (define (run p) - (thread (lambda () (dynamic-wind - (lambda () (log-line "*** starting web server")) - (run-servlet p) - (lambda () (log-line "*** web server died!"))))) - (void)) + (define t + (thread (lambda () (dynamic-wind + (lambda () (log-line "*** starting web server")) + (run-servlet p) + (lambda () (log-line "*** web server died!")))))) + (lambda () (thread-break t)))