[This is preliminary documentation and is subject to change.]
Gets or sets the port that push-mode agents will use when establishing a local socket.
Sets the port that push-mode agents will use when establishing a local socket.
The port number or -1 if uninitialized