mbed official / mbed-sdk-tools

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

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)