Added serverPort() method returning the listening port of the server