default ports for deviceServers