workspace: handle exception in WorkspaceDeleteHandler (#12544)

The commit properly handles a possible exception from `WorkspaceDeleteHandler` which previously did not `await`. Signed-off-by: Vlad Arama <vlad.arama@ericsson.com>
eclipse-theia · May 24, 2023 · 887e4a2 · 887e4a2
1 parent 87bc890
commit 887e4a2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/workspace/src/browser/workspace-delete-handler.ts b/packages/workspace/src/browser/workspace-delete-handler.ts
@@ -167,7 +167,7 @@ export class WorkspaceDeleteHandler implements UriCommandHandler<URI[]> {
 
     protected async moveFileToTrash(uri: URI, options: FileDeleteOptions): Promise<void> {
         try {
-            this.fileService.delete(uri, { ...options, useTrash: true });
+            await this.fileService.delete(uri, { ...options, useTrash: true });
         } catch (error) {
             console.error('Error deleting with trash:', error);
             if (await this.confirmDeletePermanently(uri)) {