Getting Started in the Workbench › RT Server Properties
The RT Server name and the RT Server port number details are displayed.