On this page:
Port  Number
Listen  Port  Number
Network  Wait
Network  Wait.all
Network  Wait.enable_  break
8.16.0.4
14.5.3 Port Numbers and Waiting Modes🔗ℹ

annotation

PortNumber

 

annotation

ListenPortNumber

A PortNumber is a Int.in(1, 65535). A ListenPortNumber is a Int.in(0, 65535), where 0 indicates that the operating system should chose an ephemeral port number.

enumeration

enum NetworkWait:

  all

  enable_break

The NetworkWait enumeration is used by various networking functions to enable breaks or not.