Renamed DEFAULT_SERVICE as DEFAULT_SERVICE_LAUNCHER

2011-12-12 18:17:27 +01:00
parent 68e4ac9a8f
commit 0335226e8b
7 changed files with 53 additions and 11 deletions
--- 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)