Moved gewf under draft/src/gewf

2013-07-05 15:13:43 +02:00
parent f7012e5b85
commit 2676b16425
13 changed files with 0 additions and 0 deletions
--- a/draft/src/gewf/template/basic/launcher/default/application_launcher.e
+++ b/draft/src/gewf/template/basic/launcher/default/application_launcher.e
@@ -0,0 +1,19 @@
+note
+	description: "Summary description for {APPLICATION}."
+	author: ""
+	date: "$Date: 2013-06-12 13:55:42 +0200 (mer., 12 juin 2013) $"
+	revision: "$Revision: 36 $"
+
+deferred class
+	APPLICATION_LAUNCHER
+
+feature {NONE} -- Launcher
+
+	launch (a_service: WSF_SERVICE; opts: detachable WSF_SERVICE_LAUNCHER_OPTIONS)
+		local
+			launcher: WSF_SERVICE_LAUNCHER
+		do
+			create {WSF_DEFAULT_SERVICE_LAUNCHER} launcher.make_and_launch (a_service, opts)
+		end
+
+end