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.
new listening port for the server.