| commit | 714fad657516f43f96ab45bd1e8853edd3662d6a | [log] [tgz] |
|---|---|---|
| author | Nicolas Geoffray <ngeoffray@google.com> | Thu Jun 27 15:32:00 2019 +0100 |
| committer | Nicolas Geoffray <ngeoffray@google.com> | Tue Jul 02 06:59:01 2019 +0000 |
| tree | 910937741b7d5b30a830765436d0029c86648e5f | |
| parent | 21c489870a2de5db4f4e9c97979676bf39c933a9 [diff] |
Delete tasks when deleting a thread pool. Fixes memory leak. Test: test.py --jit Change-Id: If339015f1629b42c2ff17c80e97f1303843ef878