Ensure we correctly release the lock on the writer (in the promise) -…

… allows us to disconnect from Web Serial correctly on Linux without hogging the port
espruino · Sep 4, 2024 · 191b784 · 191b784
1 parent f80d0fc
commit 191b784
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/EspruinoTools b/EspruinoTools
diff --git a/manifest.json b/manifest.json
@@ -2,7 +2,7 @@
   "name": "Espruino Web IDE",
   "short_name": "Espruino IDE",
   "description": "A Terminal and Graphical code Editor for Espruino JavaScript Microcontrollers",
-  "version": "0.79.4",
+  "version": "0.79.5",
   "app": {
     "background": {
       "scripts": ["js/background.js"]

diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "espruino-web-ide",
-  "version": "0.79.4",
+  "version": "0.79.5",
   "description": "A Terminal and Graphical code Editor for Espruino JavaScript Microcontrollers",
   "//1": "-------------------------------------------------------- nw.js",
   "main": "main.html",

diff --git a/serviceworker.js b/serviceworker.js
@@ -1,5 +1,5 @@
 // Service worker for Offline Web IDE
-const VERSION = 'v125';
+const VERSION = 'v126';
 
 const CACHED_RESOURCES = [
   'blockly/blockly_espruino.js',