From 59b65ba66864f7720f878462b925315aa5c6fa87 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Thu, 13 Apr 2017 20:02:08 +0300
Subject: [PATCH] Check mbed html page before uploading

---
 platformio/builder/tools/pioupload.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/platformio/builder/tools/pioupload.py b/platformio/builder/tools/pioupload.py
index 7f2fd42e..8a1ce49b 100644
--- a/platformio/builder/tools/pioupload.py
+++ b/platformio/builder/tools/pioupload.py
@@ -107,7 +107,10 @@ def AutodetectUploadPort(*args, **kwargs):  # pylint: disable=unused-argument
             if (item['name'] and
                     any([l in item['name'].lower() for l in msdlabels])):
                 return item['disk']
-            if isfile(join(item['disk'], "mbed.html")):
+            if any([
+                    isfile(join(item['disk'], n))
+                    for n in ("mbed.htm", "mbed.html")
+            ]):
                 return item['disk']
         return None