Skip to content

Commit

Permalink
[remote cli] difftool on newly created files cancels the diff and com…
Browse files Browse the repository at this point in the history
…pletely closes the workspace. Fixes #135634
  • Loading branch information
aeschli committed Oct 22, 2021
1 parent e2e6a28 commit 60057f9
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/vs/server/remoteCli.ts
Original file line number Diff line number Diff line change
Expand Up @@ -379,9 +379,11 @@ function translatePath(input: string, mapFileUri: (input: string) => string, fol

if (stat.isFile()) {
fileURIS.push(mappedUri);
} else {
} else if (stat.isDirectory()) {
folderURIS.push(mappedUri);
}
// handle paths like /dev/null that external tools (e.g. git difftool) pass to us
fileURIS.push(mappedUri);
} catch (e) {
if (e.code === 'ENOENT') {
fileURIS.push(mappedUri);
Expand Down

0 comments on commit 60057f9

Please sign in to comment.