add settings to define task manager timeout Also have a seperate setting for a grace period beyond the timeout. This is so in the future, we can exit after the timeout but before the grace period.


Коммит 06883dc 25 июля 2022 г., 22:32:52 UTC