mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use WSF_DEFAULT_SERVICE for the test echo server

Browse Source
This commit is contained in:
Jocelyn Fiat
2012-03-20 12:18:44 +01:00
parent d256ec3944
commit 743f26c376
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
library/server/wsf/tests/echo/src/echo_server.e
View File

@@ -8,7 +8,7 @@ class
ECHO_SERVER ECHO_SERVER
inherit inherit
WSF_SERVICE WSF_DEFAULT_SERVICE
create create
make make
@@ -17,10 +17,9 @@ feature {NONE} -- Initialization
make make
-- Initialize `Current'. -- Initialize `Current'.
local
launcher: WSF_DEFAULT_SERVICE_LAUNCHER
do do
create launcher.make_and_launch_with_options (agent execute, <<["port", 9091]>>) set_service_option ("port", 9091)
make_and_launch
end end
feature -- Execution feature -- Execution
@@ -60,7 +59,7 @@ feature -- Execution
l_body.append ("%T"+ q.item.name + "=" + q.item.string_representation +"%N") l_body.append ("%T"+ q.item.name + "=" + q.item.string_representation +"%N")
end end
res.put_response (page) res.send (page)
end end
feature -- Access feature -- Access