renamed HTTP_HEADER_BUILDER as HTTP_HEADER_MODIFIER

2014-05-14 09:35:55 +02:00
parent da92d2d365
commit cb3de17be9
4 changed files with 5 additions and 5 deletions
--- a/library/server/wsf/src/wsf_response.e
+++ b/library/server/wsf/src/wsf_response.e
@@ -172,7 +172,7 @@ feature {WSF_RESPONSE_EXPORTER} -- Header output operation

 feature -- Header access

-	header: HTTP_HEADER_BUILDER
+	header: HTTP_HEADER_MODIFIER
 			-- Associated header builder interface.
 		local
 			res: like internal_response_header
--- a/library/server/wsf/src/wsf_response_header.e
+++ b/library/server/wsf/src/wsf_response_header.e
@@ -9,7 +9,7 @@ class
 	WSF_RESPONSE_HEADER

 inherit
-	HTTP_HEADER_BUILDER
+	HTTP_HEADER_MODIFIER

 	WSF_RESPONSE_EXPORTER -- to access WSF_RESPONSE.internal_header