Suggested fix for midi-mixer#13

src/index.ts

@@ -13,6 +13,8 @@ let inputs: Record<string, Assignment> = {};
 let scenes: Record<string, ButtonType> = {};
 const settingsP: Promise<Settings> = $MM.getSettings();
 let settings: Settings;
+let wsConnected = false;
+let wsConnecting = false;
 
 const connect = async () => {
   settings = await settingsP;
@@ -65,7 +67,15 @@ const registerListeners = () => {
 
   obs.on("ExitStarted", () => {
     disconnect();
-    init();
+
+    (async () => {
+      while (!wsConnected) {
+        await new Promise(f => setTimeout(f, 1000));
+        if (!wsConnecting) {
+          init();
+        }
+      }
+    })();
   })
 };
 
@@ -149,8 +159,10 @@ const mapScenes = async () => {
   });
 };
 
+
 function disconnect() {
   console.log("Disconnecting");
+  wsConnected = false;
   obs.disconnect();
   for (let k in inputs) {
     let s = inputs[k];
@@ -163,13 +175,13 @@ function disconnect() {
   }
 }
 
-
 const init = async () => {
   console.log("Initializing");
   obs.disconnect();
   inputs = {};
   scenes = {};
-
+
+  wsConnecting = true;
   try {
     $MM.setSettingsStatus("status", "Connecting...");
 
@@ -178,10 +190,12 @@ const init = async () => {
     await Promise.all([mapSources(), mapScenes()]);
 
     $MM.setSettingsStatus("status", "Connected");
+    wsConnected = true;
   } catch (err: any) {
     console.warn("OBS error:", err);
     $MM.setSettingsStatus("status", err.description || err.message || err);
   }
+  wsConnecting = false;
 };
 
 $MM.onSettingsButtonPress("reconnect", init);