diff --git a/draft/library/server/request/rest/src/rest_request_handler_context.e b/draft/library/server/request/rest/src/rest_request_handler_context.e index 8697bca5..8563fee5 100644 --- a/draft/library/server/request/rest/src/rest_request_handler_context.e +++ b/draft/library/server/request/rest/src/rest_request_handler_context.e @@ -35,7 +35,7 @@ feature -- Status report s := args if s /= Void and then s.count > 0 then create t.make_from_string (path) - if s[1] /= '/' then + if s[1] /= '/' and t[t.count] /= '/' then t.append_character ('/') t.append (s) else diff --git a/library/server/wsf/default/nino/default_service_launcher.e b/library/server/wsf/default/nino/default_service_launcher.e index 83e0c05c..252f84a7 100644 --- a/library/server/wsf/default/nino/default_service_launcher.e +++ b/library/server/wsf/default/nino/default_service_launcher.e @@ -74,6 +74,13 @@ feature {NONE} -- Initialization end end create connector.make (Current) + if attached connector as conn then + conn.set_base (base_url) + if single_threaded then + conn.configuration.set_force_single_threaded (True) + end + conn.configuration.set_is_verbose (verbose) + end end feature -- Execution