From 8190f3341ba3668c1ceec8460c5258978c437f5d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 3 Jan 2011 07:21:46 -0700 Subject: [PATCH] remove bogus #:namespace argument from handin status servlet runner --- collects/handin-server/run-servlet.rkt | 2 -- collects/handin-server/web-status-server.rkt | 5 ----- 2 files changed, 7 deletions(-) diff --git a/collects/handin-server/run-servlet.rkt b/collects/handin-server/run-servlet.rkt index 751036c4bf..007fa1359e 100644 --- a/collects/handin-server/run-servlet.rkt +++ b/collects/handin-server/run-servlet.rkt @@ -67,7 +67,6 @@ (provide run-servlet) (define (run-servlet dispatcher - #:namespace [namespace '()] #:log-file [log-file #f]) ;; a channel for incoming requests (define ach (make-async-channel)) @@ -100,7 +99,6 @@ (init-path (url->string (request-uri req))) (dispatcher req)) #:regexp #rx"" - #:namespace namespace #:manager (make-threshold-LRU-manager (send-error "Your session has expired" init-path) (* 12 1024 1024)))) diff --git a/collects/handin-server/web-status-server.rkt b/collects/handin-server/web-status-server.rkt index 05fbccab58..683e46d95e 100644 --- a/collects/handin-server/web-status-server.rkt +++ b/collects/handin-server/web-status-server.rkt @@ -266,11 +266,6 @@ (begin0 (parameterize ([error-print-context-length 0]) (run-servlet dispatcher - #:namespace '(handin-server/private/md5 - handin-server/private/logger - handin-server/private/config - handin-server/private/hooker - handin-server/private/reloadable) #:log-file (get-conf 'web-log-file))) (log-line "*** embedded web server started")) ;; simple "server" so it's known that there is no server