From 5cb2a970fa4d6c4baa2226a716d59e94c24341b6 Mon Sep 17 00:00:00 2001
From: Ivan Kravets <me@ikravets.com>
Date: Wed, 26 Jun 2019 00:52:22 +0300
Subject: [PATCH] Suppress IOError

---
 platformio/managers/platform.py | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py
index 8cb07223..d0ab898a 100644
--- a/platformio/managers/platform.py
+++ b/platformio/managers/platform.py
@@ -417,8 +417,11 @@ class PlatformRunMixin(object):
             cmd.append("%s=%s" % (key.upper(), self.encode_scons_arg(value)))
 
         def _write_and_flush(stream, data):
-            stream.write(data)
-            stream.flush()
+            try:
+                stream.write(data)
+                stream.flush()
+            except IOError:
+                pass
 
         copy_pythonpath_to_osenv()
         result = exec_command(