Issue #22614: add current server port to window title
Merge pull request #266 from davidbeauchamp/22614

Issue #22614: add current server port to window title