Remap path to the project file to remote path.

This commit is contained in:
Vadim Godunko
2023-11-14 16:32:37 +03:00
parent ec477be300
commit aa393bfd54

View File

@@ -697,7 +697,8 @@ package body Build_Command_Utils is
end if;
elsif Param = "TP" then
return Get_Python_Full_Name (Main_Project.Project_Path);
return Get_Python_Full_Name
(Main_Project.Project_Path.To_Remote (Get_Nickname (Server)));
elsif Param = "T" then
if Main /= No_File then