From 3c139315e5dbd969747ed435387d5378203c027f Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 6 Sep 2013 15:32:05 +0200 Subject: [PATCH] removed useless (and unused) function {WSF_SERVICE}.to_wgi_service: WGI_SERVICE --- library/server/wsf/src/service/wsf_service.e | 8 -------- 1 file changed, 8 deletions(-) diff --git a/library/server/wsf/src/service/wsf_service.e b/library/server/wsf/src/service/wsf_service.e index 38aef9ac..e8cb4e0b 100644 --- a/library/server/wsf/src/service/wsf_service.e +++ b/library/server/wsf/src/service/wsf_service.e @@ -20,14 +20,6 @@ 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)"