release-20.1:Backport!3517 (!3520) · Merge requests · noc / noc · GitLab

Merged Andrey Vertiprahov requested to merge cherry-pick-9f14dc93 into release-20.1 Apr 23, 2020

Fix scheduler shutdown

See merge request !3517 (merged)

(cherry picked from commit 9f14dc93)

ac72ea95 Fix scheduler shutdown