Merge branch 'fix-close-workers' into 'develop'
close workers if an error occurs

See merge request !8
0c575d38
Name Last commit Last update