We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 113fe38 commit 9118756Copy full SHA for 9118756
arduino-ide-extension/src/browser/contributions/save-as-sketch.ts
@@ -61,7 +61,9 @@ export class SaveAsSketch extends SketchContribution {
61
const workspaceUri = await this.sketchService.copy(sketch, { destinationUri });
62
if (workspaceUri && openAfterMove) {
63
if (wipeOriginal || (openAfterMove && execOnlyIfTemp)) {
64
- await this.fileService.delete(new URI(sketch.uri), { recursive: true });
+ try {
65
+ await this.fileService.delete(new URI(sketch.uri), { recursive: true });
66
+ } catch { /* NOOP: from time to time, it's not possible to wipe the old resource from the temp dir on Windows */ }
67
}
68
this.workspaceService.open(new URI(workspaceUri), { preserveWindow: true });
69
0 commit comments