Commit f01c5436 by FritzFlorian

Fix bug in scheduler and tasks.

Threads must be joined on scheduler termination and tasks must be pushed onto the stack to allow better memory management.
parent 779978e2
Pipeline #1268 failed with stages
in 36 seconds