Anders Blomdell / mbed-sdk-tools

Clone of official tools

Diff: toolchains/__init__.py

Revision:
27:5461402c33f8
Parent:
24:25bff2709c20
Child:
29:1210849dba19
--- a/toolchains/__init__.py	Thu Aug 04 10:32:55 2016 +0100
+++ b/toolchains/__init__.py	Mon Aug 29 10:55:24 2016 +0100
@@ -794,6 +794,9 @@
                             ])
                         objects.append(result['object'])
                     except ToolException, err:
+                        if p._taskqueue.queue:
+                            p._taskqueue.queue.clear()
+                            sleep(0.1)
                         p.terminate()
                         p.join()
                         raise ToolException(err)