From 44ae50652657e7d85d8a3285ca543f2a7b7d30bd Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Thu, 20 Nov 2008 11:59:37 +0000 Subject: [PATCH] typo svn: r12534 --- collects/handin-server/web-status-server.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index d6c371ab5c..d6b37813a5 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -277,4 +277,4 @@ (lambda () (log-line "*** starting web server")) (run-servlet p) (lambda () (log-line "*** web server died!")))))) - (lambda () (thread-break t))) + (lambda () (break-thread t)))