Have uniform file path inputs in the itp server
The files were formerly given as input by the user on the commandline when launching why3ide. Now, the path for the files and session directory are absolutized before they are sent to the itp_server.
Prochaines maintenances programmées: lundi 06/05, lundi 03/06, lundi 01/07
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
The files were formerly given as input by the user on the commandline when launching why3ide. Now, the path for the files and session directory are absolutized before they are sent to the itp_server.