How do I change PolySpace Clients to communicate with a different PolySpace Server host or port number?

My PolySpace Server has changed. How do I change the port number or the computer host the PolySpace Client computers communicate with the PolySpace Server on via the Remote Launcher?

Answer 1

[MathWorks Support Team]

By default the PolySpace Client attempts to automatically detect a PolySpace Server host on port number 12427.

To set the PolySpace Client to look for a specific or different hostname and/or port number:

1. Open the client Launcher

2. Go to the Edit menu to Preferences

3. Go to the Remote Launcher tab

4. Choose the option to "Use the following server and port" and enter in the PolySpace Server hostname and port number

5. Press OK to set the PolySpace server

NOTE: If the client cannot find the server, it will give an error "No QueueManager server found"