diff --git a/collects/handin-server/web-status-server.ss b/collects/handin-server/web-status-server.ss index 9a0f02fb7c..a2588ea022 100644 --- a/collects/handin-server/web-status-server.ss +++ b/collects/handin-server/web-status-server.ss @@ -259,8 +259,6 @@ (require scheme/runtime-path web-server/web-server - web-server/stuffers - web-server/private/mime-types web-server/servlet-dispatch (prefix-in lift: web-server/dispatchers/dispatch-lift) (prefix-in fsmap: web-server/dispatchers/filesystem-map) @@ -300,15 +298,11 @@ handin-server/private/config handin-server/private/hooker handin-server/private/reloadable) - #:stateless? #f - #:stuffer default-stuffer #:current-directory server-dir #:manager (make-threshold-LRU-manager (send-error "Your session has expired") (* 12 1024 1024))) (files:make #:url->path (fsmap:make-url->path (build-path server-dir "htdocs")) - #:path->mime-type (make-path->mime-type - (build-path default-web-root "mime.types")) #:indices '("index.html")) (lift:make (send-error "File not found")))))