Merge branch 'master' of github.com:espruino/EspruinoAppLoaderCore

espruino · Aug 16, 2023 · 45e2748 · 45e2748
2 parents 151b806 + 4f735fc
commit 45e2748
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/js/index.js b/js/index.js
@@ -1085,6 +1085,7 @@ connectMyDeviceBtn.addEventListener("click", () => {
   } else {
     getInstalledApps(true).catch(err => {
       showToast("Device connection failed, "+err,"error");
+      Comms.disconnectDevice();
     });
   }
 });