Added WSF_SERVICE.to_wgi_service to ease direct integration with existing WGI components

library/server/wsf/src/service/wsf_service.e

@@ -10,12 +10,6 @@ note
 deferred class
 	WSF_SERVICE
 
---inherit
---	WGI_SERVICE
---		rename
---			execute as wgi_execute
---		end
-
 feature -- Execution
 
 	execute (req: WSF_REQUEST; res: WSF_RESPONSE)
@@ -26,25 +20,13 @@ feature -- Execution
 		deferred
 		end
 
---feature {WGI_CONNECTOR} -- WGI Execution
+feature -- Conversion
 
---	wgi_execute (req: WGI_REQUEST; res: WGI_RESPONSE)
---		local
---			w_res: detachable WSF_RESPONSE
---			w_req: detachable WSF_REQUEST
---		do
---			create w_res.make_from_wgi (res)
---			create w_req.make_from_wgi (req)
---			execute (w_req, w_res)
---			w_req.destroy
---		rescue
---			if w_res /= Void then
---				w_res.flush
---			end
---			if w_req /= Void then
---				w_req.destroy
---			end
---		end
+	to_wgi_service: WGI_SERVICE
+			-- Adapt Current WSF Service to plug into WGI component
+		do
+			create {WSF_TO_WGI_SERVICE} Result.make_from_service (Current)
+		end
 
 note
 	copyright: "2011-2012, Jocelyn Fiat, Javier Velilla, Eiffel Software and others"