renamed keep_alive_requested as is_persistent_connection_requested.

2015-04-01 22:51:20 +02:00
parent c42af5b2de
commit d8ea9ba63c
2 changed files with 9 additions and 9 deletions
--- a/library/server/ewsgi/connectors/standalone/src/implementation/wgi_httpd_request_handler.e
+++ b/library/server/ewsgi/connectors/standalone/src/implementation/wgi_httpd_request_handler.e
@@ -82,7 +82,7 @@ feature -- Request processing
 				else
 					l_output.set_http_version (version)
 				end
-				res.set_is_persistent_connection_requested (keep_alive_requested)
+				res.set_is_persistent_connection_requested (is_persistent_connection_requested)

 				req.set_meta_string_variable ("RAW_HEADER_DATA", request_header)