From 8d4a91c290a933f9c6e6d3c830ef6766e3e05d68 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 1 Oct 2021 13:40:28 -0400 Subject: [PATCH] Actually set `init-path` I somehow got that dropped out of the fix commit. --- handin-server/run-servlet.rkt | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/handin-server/run-servlet.rkt b/handin-server/run-servlet.rkt index 6580b81..b9073b4 100644 --- a/handin-server/run-servlet.rkt +++ b/handin-server/run-servlet.rkt @@ -93,15 +93,14 @@ (wrap-sequence (and log-file (log:make #:format (log:log-format->format 'apache-default) #:log-path log-file)) - (let ([init-path (make-parameter "/")]) - (dispatch/servlet - (lambda (req) - (init-path (url->string (request-uri req))) - (dispatcher req)) - #:regexp #rx"" - #:manager (make-threshold-LRU-manager - (send-error "Your session has expired") - (* 160 1024 1024)))) + (dispatch/servlet + (lambda (req) + (set! init-path (url->string (request-uri req))) + (dispatcher req)) + #:regexp #rx"" + #:manager (make-threshold-LRU-manager + (send-error "Your session has expired") + (* 160 1024 1024))) ;; This can be used to serve html content too; doesn't make sense now, ;; since the servlet will be used for all requests, and it never calls ;; (next-dispatcher). (See "servlet-env.rkt" for the needed `require's.)