Configure server-side cluster manager

The default port is 16800 at startup of the server-side cluster manager. The port number can be changed in ClusterServer.bat, as the following red box shows:

Note: When using ip6, the content after % should be removed in case the port number is parsed by doc command. For instance, the ip6 address fe80::2918:abe0:3017:8401%15 needs to be written as fe80::2918:abe0:3017:8401:port in ManagerServer.bat.