class LOCAL_ACCESS

Features exported to INTERNALS_HANDLER

Access to a server on the local machine.

Direct parents

conformant parents

ACCESS

non-conformant parents

SOCKET_PLUG_IN

Summary

creation features

exported features

Details

make (a_address: LOCALHOST, a_port: INTEGER)

Access to a server on the given host address listening at the given port

require

  • a_address /= Void
  • a_port.in_range(1, 65535)

address: LOCALHOST

The host of the server

server: SOCKET_SERVER

Start a server on the given port on localhost, listening to connections bound to the given address.

port: INTEGER

The port on which the server runs

stream: SOCKET_INPUT_OUTPUT_STREAM

Open a connection to the remote address and port.

ensure

  • Result.is_connected