Merge branch 'master' of https://github.com/Eiffel-World/EiffelWebNino

contrib/library/network/server/nino/library/tcp_stream_socket.e

@@ -8,6 +8,9 @@ class
 
 inherit
 	NETWORK_STREAM_SOCKET
+		redefine
+			make
+		end
 
 create
 	make_server_by_address_and_port,
@@ -18,6 +21,13 @@ create {NETWORK_STREAM_SOCKET}
 
 feature {NONE} -- Initialization
 
+	make
+			-- Create a network stream socket.
+		do
+			Precursor
+			set_reuse_address
+		end
+
 	make_server_by_address_and_port (an_address: INET_ADDRESS; a_port: INTEGER)
 			-- Create server socket on `an_address' and `a_port'.
 		require