Reintroduced WSF_SERVICE.to_wgi_service: WGI_SERVICE

since it was used in the "WSF" test cases.

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

@@ -20,6 +20,14 @@ feature -- Execution
 		deferred
 		end
 
+feature -- Conversion
+
+	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, Olivier Ligot, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"