From 090d7ebd6b3331fd8cfd0b70b7abac02c028a1d8 Mon Sep 17 00:00:00 2001
From: Julian Oes <julian@oes.ch>
Date: Mon, 27 Feb 2017 09:41:36 +0100
Subject: [PATCH] px_uploader: fix SerialException error

Sometimes right after reboot, we got a `raise SerialException(
msg.errno, "could not open port {}: {}".format(self._port, msg))`.
If this happens now, we will just try again later.
---
 Tools/px_uploader.py | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Tools/px_uploader.py b/Tools/px_uploader.py
index 36212ed488..ddc290a80f 100755
--- a/Tools/px_uploader.py
+++ b/Tools/px_uploader.py
@@ -214,6 +214,10 @@ class uploader(object):
                 except OSError:
                     # wait for the port to be ready
                     time.sleep(0.04)
+                except serial.SerialException:
+                    # if open fails, try again later
+                    time.sleep(0.04)
+
             else:
                 break