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)))