From 524e341398772aea0b200a6274722c6a492d53f4 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 23 Mar 2007 04:55:50 +0000 Subject: [PATCH] expiration automatically redirects to restart, more time svn: r5815 --- .../handin-server/status-web-root/servlets/status.ss | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/collects/handin-server/status-web-root/servlets/status.ss b/collects/handin-server/status-web-root/servlets/status.ss index d707875160..891fa69062 100644 --- a/collects/handin-server/status-web-root/servlets/status.ss +++ b/collects/handin-server/status-web-root/servlets/status.ss @@ -252,11 +252,14 @@ (login-page null (aget (request-bindings initial-request) 'handin) #f))) (define interface-version 'v2-transitional) - (define timeout 20) + (define timeout 600) (define (instance-expiration-handler failed-request) - `(html (body "Your session has expired, please " - (a ([href "/servlets/status.ss"]) "restart") - "."))) + (let ([this (servlet-url->url-string/no-continuation + (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))