From 0ef31cead3e3ad6b285499821d54fcdd53ec9d70 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <jfiat@eiffel.com>
Date: Fri, 29 Mar 2013 17:51:20 +0100
Subject: [PATCH] Added WSF_LAUNCHABLE_SERVICE which use a deferred `launch'
 feature. This makes it easy to support multiple connectors support

---
 .../wsf/src/service/wsf_launchable_service.e  | 59 +++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 library/server/wsf/src/service/wsf_launchable_service.e

diff --git a/library/server/wsf/src/service/wsf_launchable_service.e b/library/server/wsf/src/service/wsf_launchable_service.e
new file mode 100644
index 00000000..fa8aa1d4
--- /dev/null
+++ b/library/server/wsf/src/service/wsf_launchable_service.e
@@ -0,0 +1,59 @@
+note
+	description: "Summary description for {WSF_LAUNCHABLE_SERVICE}."
+	date: "$Date$"
+	revision: "$Revision$"
+
+deferred class
+	WSF_LAUNCHABLE_SERVICE
+
+inherit
+	WSF_SERVICE
+
+feature {NONE} -- Initialization
+
+	frozen make_and_launch
+		do
+			initialize
+			launch (Current, service_options)
+		end
+
+	initialize
+			-- Initialize current service
+			--| Could be redefine to set custom service option(s)
+		do
+		end
+
+	service_options: detachable WSF_SERVICE_LAUNCHER_OPTIONS
+
+	launch (a_service: WSF_SERVICE; opts: detachable WSF_SERVICE_LAUNCHER_OPTIONS)
+		deferred
+		end
+
+feature -- Default service options
+
+	set_service_option (a_name: READABLE_STRING_GENERAL; a_value: detachable ANY)
+			-- Set options related to WSF_SERVICE_LAUNCHER
+		local
+			opts: like service_options
+		do
+			opts := service_options
+			if opts = Void then
+				create opts.make
+				service_options := opts
+			end
+			opts.set_option (a_name, a_value)
+		ensure
+			attached service_options as l_options and then l_options.option (a_name) = a_value
+		end
+
+note
+	copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, 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