resource RNetListener
// Represents a server port for listening for client connections.
operations
RNetListener (adr: RNetAddress)
"Constructs an RNetListener object for listening on the specified
port with the specified local address."
setPort (p: int)
"Called to set the local port, if it wasn't known at creation time."
Naccio Home Page
University of Virginia, Computer Science