Proper clean-up if serial download fail

Author: QuirkyCort

public/editor.html

@@ -105,7 +105,7 @@
   <script src="js/ble.js?v=b435283f"></script>
   <script src="js/mqtt.js?v=199a15fa"></script>
   <script src="js/PythonSerial.js?v=bfae6bc5"></script>
-  <script src="js/serial.js?v=3e7e1e21"></script>
+  <script src="js/serial.js?v=31353e71"></script>
   <script src="js/extensions.js?v=0bf6809e"></script>
 
   <script src="js/main.js?v=8c39fb9d"></script>

public/js/serial.js

@@ -302,6 +302,7 @@ var serial = new function() {
     self.writeEnable = false;
     if (await self.pythonSerial.enterRawMode() != 'success') {
       await self.pythonSerial.exitRawMode(500);
+      self.pythonSerial.setReadToHandler();
       $downloadWindow.$body.text('Connection timed out. Press the reset button on your device and try again.');
       $downloadWindow.$buttonsRow.removeClass('hide');
       return;
@@ -317,6 +318,8 @@ var serial = new function() {
       let fileBuf = e.encode(filesManager.files[filename]);
       let result = await self.pythonSerial.copyFileToDevice(filename, fileBuf);
       if (result != 'success') {
+        await self.pythonSerial.exitRawMode();
+        self.pythonSerial.setReadToHandler();
         $downloadWindow.$body.text('Error downloading files');
         $downloadWindow.$buttonsRow.removeClass('hide');
         return;