mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

better argument name, to precise the timeout is in second

Browse Source 
also in comment.
This commit is contained in:
Jocelyn Fiat
2011-10-05 14:45:47 +02:00
parent 456299ccdf
commit dba55fcfd9
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
library/server/ewsgi/src/support/ewf_header.e
View File

@@ -236,10 +236,10 @@ feature -- Redirection
put_header_key_value ("Location", a_location) put_header_key_value ("Location", a_location)
end end
put_refresh (a_location: READABLE_STRING_8; a_timeout: INTEGER) 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 -- Tell the client to refresh page with `a_location' after `a_timeout_in_seconds' in seconds
do 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 end
feature -- Cookie feature -- Cookie