From a2b5ebb64c4a88ab7b3396561b4e3ac9963888e5 Mon Sep 17 00:00:00 2001 From: Jay McCarthy Date: Wed, 12 Nov 2008 17:39:54 +0000 Subject: [PATCH] Removing old GUI launcher svn: r12414 --- collects/web-server/gui.ss | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 collects/web-server/gui.ss 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))