added access to the effective port that the server is listening to (useful when we set port to 0 it use a random free port)

added verbose , so that we write message to the console only if desired.
2011-11-03 18:13:55 +01:00
parent 7fd4cdbe44
commit c53d4d37a7
3 changed files with 42 additions and 9 deletions
--- a/library/http_server.e
+++ b/library/http_server.e
@@ -21,7 +21,7 @@ feature -- Initialization
 			set_server_configuration (configuration)
 		end

-	setup (a_http_handler : HTTP_HANDLER)
+	setup (a_http_handler: HTTP_HANDLER)
 		require
 			a_http_handler_valid: a_http_handler /= Void
 		do