From c0038b43cceb56ca48ee9ab36a907d73d6555b3b Mon Sep 17 00:00:00 2001
From: Dominic Clifton <me@dominicclifton.name>
Date: Thu, 24 Mar 2016 14:51:13 +0100
Subject: [PATCH] Force a cleanup when a serial device is lost, this happens
 when VCP targets reboot.

---
 js/serial.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/js/serial.js b/js/serial.js
index ff432d1e..17214f18 100644
--- a/js/serial.js
+++ b/js/serial.js
@@ -105,7 +105,11 @@ var serial = {
                             break;
                             
                         case 'device_lost':
-                            // TODO
+                            if (GUI.connected_to || GUI.connecting_to) {
+                                $('a.connect').click();
+                            } else {
+                                self.disconnect();
+                            }
                             break;
                             
                         case 'disconnected':