From f005d8bb061ffdfa3e11ff91765d196fe6c3b490 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 29 Jul 2011 10:50:31 +0200 Subject: [PATCH] cosmetic --- library/server/ewsgi/src/support/gw_header.e | 2 ++ 1 file changed, 2 insertions(+) diff --git a/library/server/ewsgi/src/support/gw_header.e b/library/server/ewsgi/src/support/gw_header.e index 13d4dd1a..223367de 100644 --- a/library/server/ewsgi/src/support/gw_header.e +++ b/library/server/ewsgi/src/support/gw_header.e @@ -231,11 +231,13 @@ feature -- Others feature -- Redirection put_redirection (a_location: STRING; a_code: INTEGER) + -- Tell the client to redirect to page with `a_location' right away do put_header_key_value ("Location", a_location) end put_refresh (a_location: STRING; a_timeout: INTEGER; a_code: INTEGER) + -- Tell the client to refresh page with `a_location' after `a_timeout' in seconds do put_header_key_value ("Refresh", a_timeout.out + "; url=" + a_location) end