From 0335226e8b7d345ea642066789f68b3f374528ca Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Mon, 12 Dec 2011 18:17:27 +0100
Subject: [PATCH] Renamed DEFAULT_SERVICE as DEFAULT_SERVICE_LAUNCHER

---
 .../src/hello_routed_world.e                  |  2 +-
 examples/restbucksCRUD/src/restbucks_server.e |  2 +-
 examples/simple/application.e                 |  2 +-
 examples/simple_file/service_file.e           |  2 +-
 ...t_service.e => default_service_launcher.e} | 18 +++++++++++++++--
 ...t_service.e => default_service_launcher.e} | 18 +++++++++++++++--
 ...t_service.e => default_service_launcher.e} | 20 ++++++++++++++++---
 7 files changed, 53 insertions(+), 11 deletions(-)
 rename library/server/wsf/default/cgi/{default_service.e => default_service_launcher.e} (73%)
 rename library/server/wsf/default/libfcgi/{default_service.e => default_service_launcher.e} (73%)
 rename library/server/wsf/default/nino/{default_service.e => default_service_launcher.e} (75%)

diff --git a/examples/hello_routed_world/src/hello_routed_world.e b/examples/hello_routed_world/src/hello_routed_world.e
index 5ab38b7b..0ccc91c5 100644
--- a/examples/hello_routed_world/src/hello_routed_world.e
+++ b/examples/hello_routed_world/src/hello_routed_world.e
@@ -19,7 +19,7 @@ feature {NONE} -- Initialization
 
 	make
 		local
-			s: DEFAULT_SERVICE
+			s: DEFAULT_SERVICE_LAUNCHER
 		do
 			initialize_router
 			create s.make_and_launch (agent execute)
diff --git a/examples/restbucksCRUD/src/restbucks_server.e b/examples/restbucksCRUD/src/restbucks_server.e
index f1ea442a..d71e2247 100644
--- a/examples/restbucksCRUD/src/restbucks_server.e
+++ b/examples/restbucksCRUD/src/restbucks_server.e
@@ -21,7 +21,7 @@ feature {NONE} -- Initialization
 
 	make
 		local
-			s: DEFAULT_SERVICE
+			s: DEFAULT_SERVICE_LAUNCHER
 		do
 			initialize_router
 			create s.make_and_launch (agent execute)
diff --git a/examples/simple/application.e b/examples/simple/application.e
index 619de17e..8d6dba04 100644
--- a/examples/simple/application.e
+++ b/examples/simple/application.e
@@ -14,7 +14,7 @@ feature {NONE} -- Initialization
 	make
 			-- Run application.
 		local
-			s: DEFAULT_SERVICE
+			s: DEFAULT_SERVICE_LAUNCHER
 		do
 			create s.make_and_launch (agent execute)
 		end
diff --git a/examples/simple_file/service_file.e b/examples/simple_file/service_file.e
index df365de6..65d585b3 100644
--- a/examples/simple_file/service_file.e
+++ b/examples/simple_file/service_file.e
@@ -14,7 +14,7 @@ feature {NONE} -- Initialization
 	make
 			-- Run application.
 		local
-			s: DEFAULT_SERVICE
+			s: DEFAULT_SERVICE_LAUNCHER
 		do
 			create s.make_and_launch (agent execute)
 		end
diff --git a/library/server/wsf/default/cgi/default_service.e b/library/server/wsf/default/cgi/default_service_launcher.e
similarity index 73%
rename from library/server/wsf/default/cgi/default_service.e
rename to library/server/wsf/default/cgi/default_service_launcher.e
index d93a14a0..c92d8b9f 100644
--- a/library/server/wsf/default/cgi/default_service.e
+++ b/library/server/wsf/default/cgi/default_service_launcher.e
@@ -1,10 +1,24 @@
 note
-	description: "Summary description for {DEFAULT_SERVICE}."
+	description: "[
+			Component to launch the service using the default connector
+
+			which is CGI for this class
+
+			How-to:
+
+				s: DEFAULT_SERVICE_LAUNCHER
+				create s.make_and_launch (agent execute)
+
+				execute (req: WSF_REQUEST; res: WSF_RESPONSE)
+					do
+						-- ...
+					end
+		]"
 	date: "$Date$"
 	revision: "$Revision$"
 
 class
-	DEFAULT_SERVICE
+	DEFAULT_SERVICE_LAUNCHER
 
 inherit
 	WSF_SERVICE
diff --git a/library/server/wsf/default/libfcgi/default_service.e b/library/server/wsf/default/libfcgi/default_service_launcher.e
similarity index 73%
rename from library/server/wsf/default/libfcgi/default_service.e
rename to library/server/wsf/default/libfcgi/default_service_launcher.e
index 8e5f34ca..8ded9124 100644
--- a/library/server/wsf/default/libfcgi/default_service.e
+++ b/library/server/wsf/default/libfcgi/default_service_launcher.e
@@ -1,10 +1,24 @@
 note
-	description: "Summary description for {DEFAULT_SERVICE}."
+	description: "[
+			Component to launch the service using the default connector
+
+			which is libFCGI for this class
+
+			How-to:
+
+				s: DEFAULT_SERVICE_LAUNCHER
+				create s.make_and_launch (agent execute)
+
+				execute (req: WSF_REQUEST; res: WSF_RESPONSE)
+					do
+						-- ...
+					end
+		]"
 	date: "$Date$"
 	revision: "$Revision$"
 
 class
-	DEFAULT_SERVICE
+	DEFAULT_SERVICE_LAUNCHER
 
 inherit
 	WSF_SERVICE
diff --git a/library/server/wsf/default/nino/default_service.e b/library/server/wsf/default/nino/default_service_launcher.e
similarity index 75%
rename from library/server/wsf/default/nino/default_service.e
rename to library/server/wsf/default/nino/default_service_launcher.e
index 2364bf85..6baa00ab 100644
--- a/library/server/wsf/default/nino/default_service.e
+++ b/library/server/wsf/default/nino/default_service_launcher.e
@@ -1,10 +1,24 @@
 note
-	description: "Summary description for {DEFAULT_SERVICE}."
+	description: "[
+			Component to launch the service using the default connector
+
+			which is Eiffel Web Nino for this class
+
+			How-to:
+
+				s: DEFAULT_SERVICE_LAUNCHER
+				create s.make_and_launch (agent execute)
+
+				execute (req: WSF_REQUEST; res: WSF_RESPONSE)
+					do
+						-- ...
+					end
+		]"
 	date: "$Date$"
 	revision: "$Revision$"
 
 class
-	DEFAULT_SERVICE
+	DEFAULT_SERVICE_LAUNCHER
 
 inherit
 	WSF_SERVICE
@@ -21,7 +35,7 @@ feature {NONE} -- Initialization
 			base_url: STRING
 		do
 			action := a_action
-			port_number := 80 --| Default, but quite often, this port is already used ...
+			port_number := 8087 --| Default, but quite often, this port is already used ...
 			base_url := ""
 			debug ("nino")
 				print ("Example: start a Nino web server on port " + port_number.out +