From 10ffa2066d59ade71b3a4c09faf548de0c11bc3a Mon Sep 17 00:00:00 2001
From: Colin Adams <colinpauladams@gmail.com>
Date: Mon, 18 Mar 2013 14:25:44 +0000
Subject: [PATCH] prior to refactoring for WSF_ROUTED_SKELETON_SERVICE

---
 .../server/wsf/router/wsf_routed_service.e    | 34 ++++---------------
 1 file changed, 6 insertions(+), 28 deletions(-)

diff --git a/library/server/wsf/router/wsf_routed_service.e b/library/server/wsf/router/wsf_routed_service.e
index bca46767..b4d16f23 100644
--- a/library/server/wsf/router/wsf_routed_service.e
+++ b/library/server/wsf/router/wsf_routed_service.e
@@ -4,41 +4,19 @@ note
 	date: "$Date$"
 	revision: "$Revision$"
 
-deferred class	WSF_ROUTED_SERVICE
+deferred class	WSF_ROUTED_SKELETON_SERVICE
 
 inherit
 
+	WSF_ROUTED_SERVICE
+		redefine
+			execute
+		end
+
 	WSF_SYSTEM_OPTIONS_ACCESS_POLICY
 
 	WSF_PROXY_USE_POLICY
 
-feature -- Initialization
-
-	initialize_router
-			-- Initialize router.
-		do
-			create_router
-			setup_router
-		ensure
-			router_created: router /= Void
-		end
-
-	create_router
-			-- Create `router'.	
-			--| could be redefine to initialize with proper capacity
-		do
-			create router.make (10)
-		ensure
-			router_created: router /= Void
-		end
-
-	setup_router
-			-- Setup `router'.
-		require
-			router_created: router /= Void
-		deferred
-		end
-
 feature -- Execution
 
 	execute (req: WSF_REQUEST; res: WSF_RESPONSE)