From e813d1aa8bcb66ae238977a10af27ecb68f67a8a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 28 Dec 2009 22:04:45 +0000 Subject: [PATCH] no need for the runtime path too svn: r17421 --- collects/handin-server/web-status-server.ss | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index a2588ea022..29eb119488 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -257,8 +257,7 @@ ;; "web-server/servlet-env.ss", and parts from `serve/launch/wait' in ;; "web-server/servlet-dispatch.ss" -(require scheme/runtime-path - web-server/web-server +(require web-server/web-server web-server/servlet-dispatch (prefix-in lift: web-server/dispatchers/dispatch-lift) (prefix-in fsmap: web-server/dispatchers/filesystem-map) @@ -268,8 +267,6 @@ net/tcp-sig net/ssl-tcp-unit) -(define-runtime-path default-web-root '(lib "web-server/default-web-root")) - (define (run-servlet port) (serve #:port port #:listen-ip #f