You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We have cases where something sends an undesired SIGTERM to bot_main. It could be the task being run, OOM killer, whatever. It doesn't matter why, the fact it happens is the problem here. In any case, we'd like to differentiate between:
User on machine desiring to terminate the bot who sends a SIGTERM to the bot.
Undesired SIGTERM.
Alternatives are:
Replace SIGTERM with SIGUSR1 and disable SIGTERM handling.
The main problem with the smart SIGUSR1 idea is that it needs an alternative on Windows; which https://msdn.microsoft.com/ms683242.aspx can help but it's more pain work to implement.
The text was updated successfully, but these errors were encountered:
We have cases where something sends an undesired SIGTERM to bot_main. It could be the task being run, OOM killer, whatever. It doesn't matter why, the fact it happens is the problem here. In any case, we'd like to differentiate between:
Alternatives are:
The main problem with the smart SIGUSR1 idea is that it needs an alternative on Windows; which https://msdn.microsoft.com/ms683242.aspx can help but it's more
painwork to implement.The text was updated successfully, but these errors were encountered: