hub_set_port

Description:

public void hub_set_port (int port)

To customize the port opened by the local server to deliver feeds and catch incoming subscriptions.

By default this is 80. Changing the port while the hub is running imply restart the local server.

this	a FeedsPublisher.
port	new listening port for the server.