What ports are used for communication between Polyspace Clients and Polyspace Server and how can I change it?

Solution:

Three distinct port numbers are available to communicate:

1. The default port number the Polyspace Server and Client communicate on is 12427.
2. The default port number the Polyspace Client communicates with Polyspace Metrics is 12428.
3. The default port number the Polyspace Server and the FLEXlm server manager communicates on is 27000

A. Changing Port number the PolySpace Server and Client communicate
===========================================

• Changing Port On Server during install
When you finish installing the Polyspace Server software, the Polyspace Remote Launcher Manager dialog box opens. Here you can change the port number the Polyspace Server uses to communicate with the Polyspace Client machine. The communication port is set in the Polyspace Remote Launcher Manager on the Polyspace Server at the top of the screen under "Common Settings".

• Changing Port On Client
By default the PolySpace Client attempts to automatically detect the Polyspace Server host on port number 12427. To set this to be a specific hostname and port number:
1. Open the client Launcher
2. Go to the Options menu to Preferences… (R2010a or prior: Go to the Edit menu to Options>Preferences…)
3. Go to the Server configuration tab (R2010a or prior: 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"

• Changing Port On Server Post Installation
If you would like to change this port on the server to not be the default post installation, you can edit the polyspace.conf file: cpu=hostname:portnumber
For example:

cpu=polyserver:12490

By default, the polyspace.conf file is found in:
Windows: C:\Polyspace\Polyspace_RLDatas\
Linux: /etc/Polyspace/
For this change to take effect you would need to stop and restart the Polyspace daemon.

B. Changing Port number the Polyspace Client communicates with Polyspace Metrics
===================================================

By default the Polyspace Client communicate with Polyspace Metrics on port number 12428. To set this to be a specific port number:

1. Open the Client Graphical User Interface (or PVE)
2. Go to the Options menu to Preferences… (R2010a or prior: Go to the Edit menu to Options>Preferences…)
3. Go to the Server configuration tab (R2010a or prior: Go to the Remote Launcher tab)
4. Choose the option to "Port used to communicate with the Polyspace Metrics web interface" and enter in the port number
5. Press OK to set the Polyspace new preferences

C. Changing Port number the PolySpace Server and FLEXlm server manager communicate
=====================================================

All MathWorks products communicate same way with FLEXlm server manger. Please look at related Solution 1-19C0V: "What ports does the MATLAB license manager use, and how can I set those ports?"