Added await to minsky.save() to prevent a race condition when saving …

…on closing. For Ravel #468.
highperformancecoder · Feb 26, 2024 · 5d7bec0 · 5d7bec0
1 parent bcd8b22
commit 5d7bec0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/ecolab b/ecolab
diff --git a/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts b/gui-js/apps/minsky-electron/src/app/managers/CommandsManager.ts
@@ -997,7 +997,7 @@ export class CommandsManager {
 
   static async save() {
     if (this.currentMinskyModelFilePath) {
-      minsky.save(this.currentMinskyModelFilePath);
+      await minsky.save(this.currentMinskyModelFilePath);
     }
     else
       await this.saveAs();