Skip to content

Commit

Permalink
Fixes #1581: Client error 'Failed to determine file type' after undoi…
Browse files Browse the repository at this point in the history
…ng rename with Cmd+Z (#1583)
  • Loading branch information
dbaeumer authored Nov 5, 2024
1 parent 22f5fea commit 0222ad6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion client/src/common/fileOperations.ts
Original file line number Diff line number Diff line change
Expand Up @@ -164,7 +164,7 @@ abstract class FileOperationFeature<I, E extends Event<I>> implements DynamicFea
// If we can't determine the file type than we treat it as a match.
// Dropping it would be another alternative.
if (fileType === undefined) {
this._client.error(`Failed to determine file type for ${uri.toString()}.`);
this._client.info(`Unable to determine file type for ${uri.toString()}. Treating as a match.`);
return true;
}
if ((fileType === code.FileType.File && filter.kind === proto.FileOperationPatternKind.file) || (fileType === code.FileType.Directory && filter.kind === proto.FileOperationPatternKind.folder)) {
Expand Down

0 comments on commit 0222ad6

Please sign in to comment.