diff --git a/library/http_connection_handler.e b/library/http_connection_handler.e index a8c6e77b..ff3757a3 100644 --- a/library/http_connection_handler.e +++ b/library/http_connection_handler.e @@ -15,13 +15,12 @@ inherit feature {NONE} -- Initialization - make (a_main_server: like main_server; a_name: STRING) + make (a_main_server: like main_server) -- Creates a {HTTP_CONNECTION_HANDLER}, assigns the main_server and sets the current_request_message to empty. -- -- `a_main_server': The main server object - -- `a_name': The name of this module do - Precursor (a_main_server, a_name) + Precursor (a_main_server) reset end diff --git a/library/http_handler.e b/library/http_handler.e index b395d853..7cb47899 100644 --- a/library/http_handler.e +++ b/library/http_handler.e @@ -14,14 +14,12 @@ inherit feature {NONE} -- Initialization - make (a_main_server: like main_server; a_name: STRING) + make (a_main_server: like main_server) -- Creates a {HTTP_HANDLER}, assigns the main_server and initialize various values -- -- `a_main_server': The main server object - -- `a_name': The name of this module require a_main_server_attached: a_main_server /= Void - a_name_attached: a_name /= Void do main_server := a_main_server is_stop_requested := False @@ -106,7 +104,7 @@ feature -- Event require not_launched: not launched do - launched := False + launched := True port := a_port ensure launched: launched