MATLAB: How to start and stop the PolySpace Daemon for the Queue Manager / Remote Launcher

Polyspace Client for AdaPolyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover ServerPolyspace Server for Ada

I would like to know how to start and stop the PolySpaced Daemon. How do I find the log for the Daemon, the configuration file for the Daemon, and what startup options are there?

Best Answer

Windows
=======
%PolySpaceInstallCommon% in the information below refers to where you chose to install PolySpace and the 'PolySpace_Common' subfolder. By default this is C:\PolySpace\PolySpace_Common\. %PolySpaceRLDatas% refers to the PolySpace_RLDatas folder. By default this is C:\PolySpace\PolySpace_RLDatas.
The PolySpace daemon can be started or stopped using command:
%PolySpaceInstallCommon%\RemoteLauncher\PSTRLManager.exe
The PolySpace daemon can be manually started from the command line:
%PolySpaceInstallCommon%\RemoteLauncher\bin\polyspaced
The PolySpace daemon can be manually stopped from the command line:
%PolySpaceInstallCommon%\RemoteLauncher\bin\polyspaced -stop
To see available options to start the PolySpace daemon with, run the command as follows:
%PolySpaceInstallCommon%\RemoteLauncher\bin\polyspaced –h
The logfile for the Queue Manager is:
%PolySpaceRLDatas%\polyspaced.log
The Queue Manager configuration file is:
%PolySpaceRLDatas%\polyspace.conf
Linux/Unix
=====
$PolySpaceInstallCommon in the information below refers to where you chose to install PolySpace and the 'PolySpace_Common' subfolder. If you used the example location in our install guide that would be /usr/local/PolySpace/PolySpace_Common.
The PolySpace daemon can be started or stopped from the installation:
$PolySpaceInstallCommon/RemoteLauncher/bin/polyspaced
$PolySpaceInstallCommon/RemoteLauncher/bin/polyspaced -stop
The PolySpace daemon can also be started using the command:
/etc/init.d/polyspaced
The PolySpace daemon can also be stopped using the command:
/etc/init.d/polyspaced -stop
To check the status of the PolySpace daemon, use the command:
/etc/init.d/polyspaced -status
You can also check the status from the installation:
$PolySpaceInstallCommon/RemoteLauncher/bin/polyspaced -status
To see available options to start the PolySpace daemon with, run the command as follows:
$PolySpaceInstallCommon/RemoteLauncher/bin/polyspaced –h
The logfile for the Queue Manager is:
/var/PolySpace/polyspaced.log
The Queue Manager configuration file is:
/etc/PolySpace/polyspace.conf