make update_progress_bar a bit more robust by just doing nothing if the corresponding progress bar was not started (and making stopping of a non-started progress bar fatal)#3867
Merged
branfosj merged 3 commits intoeasybuilders:developfrom Oct 22, 2021