Copyright Digital Equipment Corp. All rights reserved.

/PORT

   /PORT=integer

   Specifies the port number that this server monitors for incoming
   requests. For the TCP/IP transport, this qualifier specifies an
   IP port number from the port number space shared by all users
   of TCP/IP. For the DECnet and Local transports, this qualifier
   specifies a number that is used to create a unique resource name
   from the name space of all users of the Inter-Client Exchange
   (ICE) protocol. Specify a value from 1 to 16383.

   The default port number is 6500.