From 7b65cf77661645252d0a0f7686036690e92b75d7 Mon Sep 17 00:00:00 2001
From: Gordon Williams <gw@pur3.co.uk>
Date: Fri, 13 Sep 2024 11:05:50 +0100
Subject: [PATCH] WebSerial improvements (correctly shut down on disconnect so
 we don't hog the port)

---
 EspruinoTools | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/EspruinoTools b/EspruinoTools
index a155e585..31bd1c00 160000
--- a/EspruinoTools
+++ b/EspruinoTools
@@ -1 +1 @@
-Subproject commit a155e58595e2ca1cadf6f194291020bfdac69ba6
+Subproject commit 31bd1c00fb1f6a7d896837e0958a1bd2781c9eab