suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix use of (now gone) servlet-url->url-string/no-continuation

Browse Source 
svn: r12432
This commit is contained in:
Eli Barzilay 2008-11-13 22:16:01 +00:00
parent f64d8a5280
commit 4f904c3b4b
1 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
collects/handin-server/status-web-root/servlets/status.ss
View File

@ -6,7 +6,9 @@
web-server/servlet web-server/servlet
web-server/servlet/servlet-structs web-server/servlet/servlet-structs
web-server/managers/timeouts web-server/managers/timeouts
web-server/private/util
net/uri-codec net/uri-codec
net/url
handin-server/private/md5 handin-server/private/md5
handin-server/private/logger handin-server/private/logger
handin-server/private/config handin-server/private/config
@ -255,12 +257,19 @@
(define name "status") (define name "status")
(define (instance-expiration-handler failed-request) (define (instance-expiration-handler failed-request)
(let ([this (servlet-url->url-string/no-continuation (let* (;; get the current url, and strip off the continuation data
(request->servlet-url failed-request))]) [cont-url (request-uri failed-request)]
[base-url (url-replace-path
(lambda (pl)
(map (lambda (pp)
(make-path/param (path/param-path pp) empty))
pl))
cont-url)]
[base-url-str (url->string base-url)])
`(html (head (meta [(http-equiv "refresh") `(html (head (meta [(http-equiv "refresh")
(content ,(format "3;URL=~a" this))])) (content ,(format "3;URL=~a" base-url-str))]))
(body "Your session has expired, " (body "Your session has expired, "
(a ([href ,this]) "restarting") " in 3 seconds.")))) (a ([href ,base-url-str]) "restarting") " in 3 seconds."))))
(define manager (define manager
(create-timeout-manager instance-expiration-handler 600 600)) (create-timeout-manager instance-expiration-handler 600 600))