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

expiration automatically redirects to restart, more time

Browse Source 
svn: r5815
This commit is contained in:
Eli Barzilay 2007-03-23 04:55:50 +00:00
parent 8537d50620
commit 524e341398
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -252,11 +252,14 @@
(login-page null (aget (request-bindings initial-request) 'handin) #f))) (login-page null (aget (request-bindings initial-request) 'handin) #f)))
(define interface-version 'v2-transitional) (define interface-version 'v2-transitional)
(define timeout 20) (define timeout 600)
(define (instance-expiration-handler failed-request) (define (instance-expiration-handler failed-request)
`(html (body "Your session has expired, please " (let ([this (servlet-url->url-string/no-continuation
(a ([href "/servlets/status.ss"]) "restart") (request->servlet-url failed-request))])
"."))) `(html (head (meta [(http-equiv "refresh")
(content ,(format "3;URL=~a" this))]))
(body "Your session has expired, "
(a ([href ,this]) "restarting") " in 3 seconds."))))
(provide interface-version timeout start instance-expiration-handler)) (provide interface-version timeout start instance-expiration-handler))