port number. This resolves the confusion that arises from multiple
identical "closing x Server socket on port n" lines in the log output.