When you change a machine (client or server) and want to retrieve the data (verifications, preferences, ...), you have to migrate the following files:
- Server side
Under Windows: copy the folder C:\Polyspace\Polyspace_RLDatas
The folder "Polyspace RL Datas" : contains the verifications, the configuration of the Remote Launcher (file polyspace.conf) and the list of jobs in the queue
Under Linux:
/var/PolySpace (contains the verifications and the list of jobs)
and
/etc/PolySpace (contains polyspace.conf)
- Client side
Copy the files
- polyspace.prf : contains the preferences of the PVE
- analysis-key.txt : contains the unique ID used to download a verification
Location under Windows :
%APPDATA%\PolySpace\polyspace.prf
%APPDATA%\PolySpace\analysis-key.txt
%APPDATA% being an environment variable under Windows (type "echo %APPDATA%" in a Dos window to know its value).
Under Linux :
$HOME/.Polyspace/analysis-key.txt
$HOME/.polyspace/polyspace.prf
