$serverdb.serverPort(<network>,<server>)
<int> $serverdb.serverPort(<network:string>,<server:string>)