mirrors/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Updated deprecated EiffelWeb nino to make it compilable with upcoming EiffelStudio 16.11.

Browse Source 
Updated various projects to make them up-to-date and compilable with this latest EiffelWeb.
This commit is contained in:
Jocelyn FIAT
2016-10-10 21:40:15 +02:00
parent aed7461faf
commit 7a546622bc
9 changed files with 70 additions and 70 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
contrib/library/network/server/nino/library/spec/before_15_01/tcp_stream_socket.e → contrib/library/network/server/nino/library/spec/until_16_05/tcp_stream_socket.e
View File

@@ -17,10 +17,21 @@ create
make_server_by_port
create {NETWORK_STREAM_SOCKET}
make_from_descriptor_and_address
make_from_descriptor_and_address,
make_empty
feature {NONE} -- Initialization
make_server_by_address_and_port (a_address: INET_ADDRESS; a_port: INTEGER)
-- Create server socket on `a_address' and `a_port'.
require
valid_port: a_port >= 0
do
make
create address.make_from_address_and_port (a_address, a_port)
bind
end
make
-- Create a network stream socket.
do
@@ -28,16 +39,6 @@ feature {NONE} -- Initialization
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
valid_port: a_port >= 0
do
make
create address.make_from_address_and_port (an_address, a_port)
bind
end
feature -- Basic operation
send_message (a_msg: STRING)

10
contrib/library/network/server/nino/library/tcp_stream_socket.e
View File

@@ -29,16 +29,6 @@ feature {NONE} -- Initialization
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
valid_port: a_port >= 0
do
make
create address.make_from_address_and_port (an_address, a_port)
bind
end
feature -- Basic operation
send_message (a_msg: STRING)