From 480abdec51bee8bb2cceeda25d8031e915b12267 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 29 Jun 2012 10:27:23 +0200 Subject: [PATCH] Better code for tutorial example. --- examples/restbucksCRUD/client/src/restbuck_client.e | 3 +++ examples/tutorial/step_4/hello/src/hello_application.e | 7 +++---- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/examples/restbucksCRUD/client/src/restbuck_client.e b/examples/restbucksCRUD/client/src/restbuck_client.e index 2b2430dc..c325e5c3 100644 --- a/examples/restbucksCRUD/client/src/restbuck_client.e +++ b/examples/restbucksCRUD/client/src/restbuck_client.e @@ -23,6 +23,9 @@ feature {NONE} -- Initialization do create h.make sess := h.new_session ("http://127.0.0.1:9090") +-- Uncomment the following 2 lines, if you use fiddler2 web debugging tool +-- sess.set_is_debug (True) +-- sess.set_proxy ("127.0.0.1", 8888) -- Create Order print ("%N Create Order %N") diff --git a/examples/tutorial/step_4/hello/src/hello_application.e b/examples/tutorial/step_4/hello/src/hello_application.e index 68dd1cec..83dbc7bc 100644 --- a/examples/tutorial/step_4/hello/src/hello_application.e +++ b/examples/tutorial/step_4/hello/src/hello_application.e @@ -3,8 +3,7 @@ This class implements the `Hello World' service. It inherits from WSF_DEFAULT_SERVICE to get default EWF connector ready - only `response' needs to be implemented. - In this example, it is redefined and specialized to be WSF_PAGE_RESPONSE + And from WSF_URI_TEMPLATE_ROUTED_SERVICE to use the router service `initialize' can be redefine to provide custom options if needed. @@ -30,7 +29,7 @@ feature {NONE} -- Initialization do router.map_agent ("/hello", agent execute_hello) - router.map_with_request_methods ("/users/{user}/message/{mesgid}", create {USER_MESSAGE_HANDLER}, router.methods_GET_POST) + router.map_with_request_methods ("/users/{user}/message/{mesgid}", create {USER_MESSAGE_HANDLER}, router.methods_HEAD_GET_POST) router.map_with_request_methods ("/users/{user}/message/", create {USER_MESSAGE_HANDLER}, router.methods_GET_POST) router.map_agent_response_with_request_methods ("/users/{user}/{?op}", agent response_user, router.methods_GET) @@ -107,7 +106,7 @@ feature -- Execution attached {WSF_STRING} req.query_parameter ("op") as l_op then if l_op.is_case_insensitive_equal ("quit") then - create redir.make (req.script_url ("/hello"), 5) + create redir.make (req.script_url ("/hello"), 3) redir.set_title ("Bye " + u.url_encoded_value) redir.set_body ("Bye " + u.url_encoded_value + ",
see you soon.

You will be redirected to " + redir.url_location + " in " + redir.delay.out + " second(s) ...

"