Added WSF_CUSTOM_HEADER_FILTER which provide a convenient way to add a custom header from a filter.

Added to wsf_extension WSF_DEBUG_FILTER and WSF_DEBUG_HANDLER that could be convenient to test specific requests
Restructured wsf_extension

library/server/wsf/extension/handler/wsf_method_handlers.e

@@ -0,0 +1,83 @@
+note
+
+	description: "Conforming handlers for HTTP 1.1 standard methods"
+
+	author: "Colin Adams"
+	date: "$Date$"
+	revision: "$Revision$"
+
+deferred class	WSF_METHOD_HANDLERS
+
+inherit
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_get
+		select
+			do_get
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_put
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_post
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_delete
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_connect
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_head
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_options
+		end
+
+	WSF_METHOD_HANDLER
+		rename
+			do_method as do_trace
+		end
+
+feature -- Method
+
+	do_head (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
+		deferred
+		ensure then
+			empty_body: is_empty_content (res)			
+		end
+
+	do_post (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
+		deferred
+		ensure then
+			non_empty_body: res.status_code =  {HTTP_STATUS_CODE}.created implies
+				not is_empty_content (res)
+			location_header: res.status_code =  {HTTP_STATUS_CODE}.created implies True -- WSF_RESPONSE needs enhancing
+		end
+
+	do_trace (req: WSF_REQUEST; res: WSF_RESPONSE)
+			-- Respond to `req' using `res'.
+		deferred
+		ensure then
+			non_empty_body: res.status_code =  {HTTP_STATUS_CODE}.ok implies
+				not is_empty_content (res)
+		end
+
+end
+
+