allegroai 004f925454 ThreadPool should be terminated, not closed, otherwise it might hang		2020-04-09 12:47:38 +03:00
..
__init__.py	Initial beta version	2019-06-10 20:02:11 +03:00
events.py	Support setting task initial iteration for continuing previous runs	2020-03-12 17:40:29 +02:00
interface.py	ThreadPool should be terminated, not closed, otherwise it might hang	2020-04-09 12:47:38 +03:00
reporter.py	Support setting task initial iteration for continuing previous runs	2020-03-12 17:40:29 +02:00