fix that task gets inserted multiple times into unfinishedTasks#4

Merged

Lehmann-Fabian merged 4 commits intoCommonWorkflowScheduler:masterfrom friederici:bugfix-finishThread

Oct 26, 2023

+16-7

Commits on Oct 25, 2023

fix that task gets inserted multiple times into unfinishedTasks
Florian Friederici
committed

Commits on Oct 26, 2023

State now has a level, changeStateOfTask() will never decrease Task State level
Florian Friederici
committed
removed proposed check in onPodTermination(), fixed formatting
Florian Friederici
committed
task state change is not a warning, changed to log.debug; fixed unneccessary reformatting at onPodTermination
Florian Friederici
committed