Added await to minsky.save() to prevent a race condition when saving on closing. For Ravel #468.

highperformancecoder · highperformancecoder · commit 5d7bec054865 · 2024-02-27T09:42:10.000+11:00
diff --git a/ecolab b/ecolab
@@ -1 +1 @@
-Subproject commit bc943e73253bf4624a98d8419672130afa712350
+Subproject commit 6b98d63409feba6b1c1dee3393a64a1d62448e97
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();

Original file line number	Diff line number	Diff line change
`@@ -997,7 +997,7 @@ export class CommandsManager {`
`997`	`997`
`998`	`998`	`static async save() {`
`999`	`999`	`if (this.currentMinskyModelFilePath) {`
`1000`		`- minsky.save(this.currentMinskyModelFilePath);`
	`1000`	`+ await minsky.save(this.currentMinskyModelFilePath);`
`1001`	`1001`	`}`
`1002`	`1002`	`else`
`1003`	`1003`	`await this.saveAs();`