shortcutme 53a40fa914 Stop worker if the file is not required anymore		2018-09-17 15:32:32 +02:00
..
__init__.py	First release, remove not used lines from gitignore	2015-01-12 02:03:45 +01:00
Worker.py	Stop worker if the file is not required anymore	2018-09-17 15:32:32 +02:00
WorkerManager.py	Rename RemoveGoodFileTasks to RemoveSolvedFileTasks and add result argument	2018-09-17 15:24:44 +02:00