Use HTTP_HEADER instead of WSF_HEADER

(WSF_HEADER is kept for convenience and existing code)
2011-11-25 15:53:15 +01:00
parent 48d4d26cda
commit 42be0b2a4e
12 changed files with 29 additions and 27 deletions
--- a/examples/hello_routed_world/src/hello_routed_world.e
+++ b/examples/hello_routed_world/src/hello_routed_world.e
@@ -84,7 +84,7 @@ feature -- Execution

 	execute_default (req: WSF_REQUEST; res: WSF_RESPONSE)
 		local
-			h: WSF_HEADER
+			h: HTTP_HEADER
 			l_url: STRING
 			e: EXECUTION_ENVIRONMENT
 			n: INTEGER
@@ -171,7 +171,7 @@ feature -- Execution
 	execute_hello (req: WSF_REQUEST; res: WSF_RESPONSE; a_name: detachable READABLE_STRING_32; ctx: REQUEST_HANDLER_CONTEXT)
 		local
 			l_response_content_type: detachable STRING
-			h: WSF_HEADER
+			h: HTTP_HEADER
 			content_type_supported: ARRAY [STRING]
 			l_body: STRING_8
 		do