Update Eiffel format.
tcp_socket could return void if not open. So add appropriate require and check.
Modernise Eiffel code.