Files
test/source
Sergey Sharybin f0cf15b5c6 Task scheduler: Remove counter of done tasks
This was only used for progress report, and it's wrong because:

- Pool might in theory be re-used by different tasks
- We should not make any decision based on scheduling stats

Proper way is to take care of progress by the task itself.
2017-03-01 12:45:51 +01:00
..
2017-02-27 19:33:57 -05:00
2017-01-29 17:21:57 +03:00