Catch request cancelled error

2024-01-04 15:19:10 +00:00
parent ad8dc1e906
commit eb59ead817
1 changed files with 7 additions and 0 deletions
--- a/extensions/ql-vscode/src/model-editor/model-editor-view.ts
+++ b/extensions/ql-vscode/src/model-editor/model-editor-view.ts
@@ -466,6 +466,13 @@ export class ModelEditorView extends AbstractWebview<

      this.modelingStore.setMethods(this.databaseItem, queryResult);
    } catch (err) {
+      if (
+        getErrorMessage(err).match(/The request \(.*\) has been cancelled/i)
+      ) {
+        this.panel?.dispose();
+        return;
+      }
+
      void showAndLogExceptionWithTelemetry(
        this.app.logger,
        this.app.telemetry,