From 743f26c376794e105b2763f658b01c4687d319b3 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Tue, 20 Mar 2012 12:18:44 +0100 Subject: [PATCH] Use WSF_DEFAULT_SERVICE for the test echo server --- library/server/wsf/tests/echo/src/echo_server.e | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/library/server/wsf/tests/echo/src/echo_server.e b/library/server/wsf/tests/echo/src/echo_server.e index 5bd2d79c..27537277 100644 --- a/library/server/wsf/tests/echo/src/echo_server.e +++ b/library/server/wsf/tests/echo/src/echo_server.e @@ -8,7 +8,7 @@ class ECHO_SERVER inherit - WSF_SERVICE + WSF_DEFAULT_SERVICE create make @@ -17,10 +17,9 @@ feature {NONE} -- Initialization make -- Initialize `Current'. - local - launcher: WSF_DEFAULT_SERVICE_LAUNCHER do - create launcher.make_and_launch_with_options (agent execute, <<["port", 9091]>>) + set_service_option ("port", 9091) + make_and_launch end feature -- Execution @@ -60,7 +59,7 @@ feature -- Execution l_body.append ("%T"+ q.item.name + "=" + q.item.string_representation +"%N") end - res.put_response (page) + res.send (page) end feature -- Access