diff --git a/collects/web-server/gui.ss b/collects/web-server/gui.ss
deleted file mode 100644
index 9c77710c81..0000000000
--- a/collects/web-server/gui.ss
+++ /dev/null
@@ -1,21 +0,0 @@
-#lang scheme/base
-(require mzlib/class
-         mred)
-(require "private/launch.ss")
-
-(define shutdown (serve))
-
-(when (current-eventspace-has-menu-root?) 
-  (let ([mb (make-object menu-bar% 'root)])
-    (unless (current-eventspace-has-standard-menus?)
-      (make-object menu-item%
-        "Quit"
-        (make-object menu% "File" mb)
-        (lambda (i e)
-          (shutdown)
-          (exit))))))
-(application-quit-handler (lambda ()
-                            (shutdown)
-                            (exit)))
-
-(yield (make-semaphore))