tree 37a581a93393b2827548f71f86ae619e541555a7
parent 81d0c706f49a701430e407ac82a583d237832789
author Marc Kupietz <kupietz@ids-mannheim.de> 1709979966 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> 1709982361 +0100

Fix closing all worker threads

Change-Id: Ic7bc6efee46e715b8f44b6f05c6b39e6f68cc931