diff options
| author |  siddharthshukla <siddharthshukla@outlook.com> | 2016-08-03 17:55:10 +0200 |
|---|---|---|
| committer | siddharthshukla <siddharthshukla@outlook.com> | 2016-08-03 22:13:37 +0200 |
| commit | de84d566b8fad6808e5263a25a17fa231cb5713c (patch) | |
| tree | d12f09f10b50db7a9e57264161e5a19607f7aa3b /build.yaml | |
| parent | eedc335580c6691f5401674841be0362596e1d9c (diff) | |
Fix the ThreadPoolExecutor: max_workers can't be 0
Add a RecordingThreadPool that inherits from Executor, contains a
ThreadPoolExecutor and has an extra method 'was_used' to indicate if
submit method was ever called i.e. if the thread pool was ever used.
Diffstat (limited to 'build.yaml')
0 files changed, 0 insertions, 0 deletions