Added {WSF_REQUEST}.http_content_encoding

library/server/ewsgi/specification/request/wgi_meta_names.e

@@ -46,6 +46,8 @@ feature -- Access
 	
 	http_content_range: STRING = "HTTP_CONTENT_RANGE"
 
+	http_content_encoding: STRING = "HTTP_CONTENT_ENCODING"
+
 	http_expect: STRING = "HTTP_EXPECT"
 
 	http_referer: STRING = "HTTP_REFERER"

library/server/ewsgi/specification/request/wgi_request.e

@@ -644,6 +644,11 @@ feature -- HTTP_*
 		deferred
 		end
 
+	http_content_encoding: detachable READABLE_STRING_8
+			-- Encoding (usually compression) of message payload
+		deferred
+		end
+
 feature -- Extra CGI environment variables
 
 	request_uri: READABLE_STRING_8

library/server/ewsgi/src/implementation/wgi_request_from_table.e

@@ -295,6 +295,13 @@ feature -- Access: HTTP_* CGI meta parameters - 1.1
 		do
 			Result := meta_string_variable ({WGI_META_NAMES}.http_content_range)
 		end
+
+	http_content_encoding: detachable READABLE_STRING_8
+			-- Encoding (usually compression) of message payload
+		do
+			Result := meta_string_variable ({WGI_META_NAMES}.http_content_encoding)
+		end
+	
 	
 feature -- Access: Extension to CGI meta parameters - 1.1
 

library/server/wsf/src/wsf_request.e

@@ -1234,6 +1234,12 @@ feature -- HTTP_*
 			Result := wgi_request.http_content_range
 		end
 	
+	http_content_encoding: detachable READABLE_STRING_8
+			-- Encoding (usually compression) of message payload
+		do
+			Result := wgi_request.http_content_encoding
+		end
+	
 feature -- Extra CGI environment variables
 
 	request_uri: READABLE_STRING_8