mirror of https://github.com/ARMmbed/mbed-os.git
Empty the multiprocessing queue before terminating it
parent
31a59c930d
commit
a4c3469b7b
|
@ -794,6 +794,9 @@ class mbedToolchain:
|
|||
])
|
||||
objects.append(result['object'])
|
||||
except ToolException, err:
|
||||
if p._taskqueue.queue:
|
||||
p._taskqueue.queue.clear()
|
||||
sleep(0.5)
|
||||
p.terminate()
|
||||
p.join()
|
||||
raise ToolException(err)
|
||||
|
|
Loading…
Reference in New Issue