From b9d2eefca84151b94eb53109ab4ec3768d6cca67 Mon Sep 17 00:00:00 2001
From: Sam Kent <sam@microbit.org>
Date: Wed, 16 Oct 2019 11:02:20 +0200
Subject: [PATCH 1/2] Remove duplicate catch/finally

---
 python-main.js | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/python-main.js b/python-main.js
index e80bd5a6..3eb9774f 100644
--- a/python-main.js
+++ b/python-main.js
@@ -1484,11 +1484,6 @@ function web_editor(config) {
             window.removeEventListener("unhandledrejection", webusbErrorHandler);
             
         })
-        .catch(webusbErrorHandler)
-        .finally(function() {
-            // Remove event listener
-            window.removeEventListener("unhandledrejection", webusbErrorHandler);
-        });
     }
 
     function doSerial() {

From 777385d4f7fcc2b1a2ff8e12624143594c198ae3 Mon Sep 17 00:00:00 2001
From: Sam Kent <sam@microbit.org>
Date: Wed, 16 Oct 2019 11:03:14 +0200
Subject: [PATCH 2/2] fixup! Remove duplicate catch/finally

---
 python-main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python-main.js b/python-main.js
index 3eb9774f..e143e9e6 100644
--- a/python-main.js
+++ b/python-main.js
@@ -1483,7 +1483,7 @@ function web_editor(config) {
             // Remove event listener
             window.removeEventListener("unhandledrejection", webusbErrorHandler);
             
-        })
+        });
     }
 
     function doSerial() {