From dba55fcfd9fba76c2efe4e392e3dd45423cb67b8 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 5 Oct 2011 14:45:47 +0200 Subject: [PATCH] better argument name, to precise the timeout is in second also in comment. --- library/server/ewsgi/src/support/ewf_header.e | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/library/server/ewsgi/src/support/ewf_header.e b/library/server/ewsgi/src/support/ewf_header.e index 6eacd3bb..3c867595 100644 --- a/library/server/ewsgi/src/support/ewf_header.e +++ b/library/server/ewsgi/src/support/ewf_header.e @@ -236,10 +236,10 @@ feature -- Redirection put_header_key_value ("Location", a_location) end - put_refresh (a_location: READABLE_STRING_8; a_timeout: INTEGER) - -- Tell the client to refresh page with `a_location' after `a_timeout' in seconds + put_refresh (a_location: READABLE_STRING_8; a_timeout_in_seconds: INTEGER) + -- Tell the client to refresh page with `a_location' after `a_timeout_in_seconds' in seconds do - put_header_key_value ("Refresh", a_timeout.out + "; url=" + a_location) + put_header_key_value ("Refresh", a_timeout_in_seconds.out + "; url=" + a_location) end feature -- Cookie