Robert Hönig a19a69bfe3 embedded bots: Log warning when bot quit()s. ...

External bots may call bot_handler.quit() when
they wish to terminate, e.g. due to a misconfiguration.
Currently, embedded bots ignore calls to quit(), even
though they signal a problem. This commit does the first
step in handling quit() calls by logging a warning.

2018-02-13 14:56:37 -08:00

4.5 KiB

Raw Blame History

View Raw