From b6784ee35c8492a3542a1b9ffb9e60917ba5bdf0 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Wed, 14 Dec 2011 16:34:01 +0100 Subject: [PATCH] Use port 9090 for restbuck server mainly to avoid using 80 or 8080 which are often already used (by current webserver, or even skype, or jenkins, or ...) --- examples/restbucksCRUD/client/src/restbuck_client.e | 2 +- examples/restbucksCRUD/src/restbucks_server.e | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/restbucksCRUD/client/src/restbuck_client.e b/examples/restbucksCRUD/client/src/restbuck_client.e index 6fb7211a..8dd1fa76 100644 --- a/examples/restbucksCRUD/client/src/restbuck_client.e +++ b/examples/restbucksCRUD/client/src/restbuck_client.e @@ -22,7 +22,7 @@ feature {NONE} -- Initialization body : STRING do create h.make - sess := h.new_session ("http://127.0.0.1:8080") + sess := h.new_session ("http://127.0.0.1:9090") -- Create Order print ("%N Create Order %N") resp := create_order (sess) diff --git a/examples/restbucksCRUD/src/restbucks_server.e b/examples/restbucksCRUD/src/restbucks_server.e index d71e2247..51a359e6 100644 --- a/examples/restbucksCRUD/src/restbucks_server.e +++ b/examples/restbucksCRUD/src/restbucks_server.e @@ -24,7 +24,7 @@ feature {NONE} -- Initialization s: DEFAULT_SERVICE_LAUNCHER do initialize_router - create s.make_and_launch (agent execute) + create s.make_and_launch_with_options (agent execute, <<["port", 9090]>>) end create_router