First steps to provide a concurrent compliant EWF connector.

library/server/wsf/src/wsf_execution.e

@@ -0,0 +1,43 @@
+note
+	description: "Summary description for {WSF_EXECUTION}."
+	author: ""
+	date: "$Date$"
+	revision: "$Revision$"
+
+deferred class
+	WSF_EXECUTION
+
+--create
+--	make
+
+feature {NONE} -- Initialization
+
+	make (req: WGI_REQUEST; res: WGI_RESPONSE)
+		do
+			create request.make_from_wgi (req)
+			create response.make_from_wgi (res)
+		end
+
+	request: WSF_REQUEST
+
+	response: WSF_RESPONSE
+
+feature -- Execution
+
+	execute
+		deferred
+		ensure
+			response.status_is_set
+		end
+
+note
+	copyright: "2011-2015, Jocelyn Fiat, Javier Velilla, Eiffel Software and others"
+	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
+	source: "[
+			Eiffel Software
+			5949 Hollister Ave., Goleta, CA 93117 USA
+			Telephone 805-685-1006, Fax 805-685-6869
+			Website http://www.eiffel.com
+			Customer support http://support.eiffel.com
+		]"
+end

library/server/wsf/src/wsf_request.e

@@ -41,7 +41,7 @@ inherit
 			{NONE} all
 		end
 
-create {WSF_TO_WGI_SERVICE}
+create {WSF_TO_WGI_SERVICE, WSF_EXECUTION}
 	make_from_wgi
 
 convert
@@ -426,7 +426,7 @@ feature -- Eiffel WGI access
 			Result := wgi_request.wgi_implementation
 		end
 
-	wgi_connector: WGI_CONNECTOR
+	wgi_connector: detachable WGI_CONNECTOR
 			-- Associated Eiffel WGI connector
 		do
 			Result := wgi_request.wgi_connector
@@ -2173,7 +2173,7 @@ invariant
 	wgi_request.content_type /= Void implies content_type /= Void
 
 note
-	copyright: "2011-2014, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
+	copyright: "2011-2015, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Colin Adams, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
 	source: "[
 			Eiffel Software

library/server/wsf/src/wsf_response.e

@@ -19,7 +19,7 @@ note
 class
 	WSF_RESPONSE
 
-create {WSF_TO_WGI_SERVICE}
+create {WSF_TO_WGI_SERVICE, WSF_EXECUTION}
 	make_from_wgi
 
 create {WSF_RESPONSE}