diff --git a/collects/web-server/servlet-env.ss b/collects/web-server/servlet-env.ss
index 76e71ab33a..3bd83c8b28 100644
--- a/collects/web-server/servlet-env.ss
+++ b/collects/web-server/servlet-env.ss
@@ -43,7 +43,7 @@
                     `(html (head (title "Servlet has ended."))
                            (body (p "This servlet has ended, please return to the interaction window."))))))]
            [shutdown-server
-            (run-the-server (build-standalone-servlet-configuration the-port the-path new-servlet))])
+            (serve (build-standalone-servlet-configuration the-port the-path new-servlet))])
       (send-url standalone-url #t)
       ; Wait for final call
       (semaphore-wait sema)