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
..
2017-11-16 21:52:01 -08:00
2017-12-08 19:00:18 -08:00
2017-11-16 21:52:01 -08:00
2018-02-12 14:34:59 -08:00
2018-02-13 09:24:42 -08:00
2018-02-09 10:57:55 -08:00
2017-11-16 21:52:01 -08:00
2017-11-16 21:52:01 -08:00
2018-02-09 18:14:08 -08:00
2018-02-07 13:01:42 -08:00
2017-11-27 14:59:34 -08:00
2017-11-18 15:35:57 -08:00
2017-12-26 09:09:31 -05:00
2018-02-13 14:56:37 -08:00
2017-11-16 21:52:01 -08:00
2018-02-09 12:30:24 -08:00
2017-11-16 21:52:01 -08:00
2017-12-18 09:24:09 -05:00
2018-02-05 18:01:54 -08:00
2017-11-16 21:52:01 -08:00
2017-12-18 10:02:15 -05:00
2017-11-21 21:51:48 -08:00
2017-11-16 22:00:53 -08:00
2017-12-22 11:52:13 -05:00
2018-02-05 12:59:12 -08:00
2017-11-16 22:00:53 -08:00
2018-01-25 06:21:01 -05:00
2017-11-18 15:35:57 -08:00
2017-12-18 09:24:09 -05:00
2018-01-02 13:45:01 -05:00
2017-11-21 17:39:51 -08:00
2018-02-07 05:09:46 +05:30
2017-11-16 21:52:01 -08:00
2018-02-09 12:30:24 -08:00
2017-12-18 09:24:09 -05:00
2018-02-12 14:34:59 -08:00
2018-01-30 11:28:09 -08:00
2017-12-18 09:24:09 -05:00
2017-11-17 15:32:42 -08:00
2017-11-08 12:50:27 -08:00
2017-11-08 12:50:27 -08:00
2018-01-23 15:23:25 -05:00
2017-11-08 12:50:27 -08:00
2017-11-26 15:47:56 -08:00
2018-02-09 12:30:24 -08:00
2017-11-17 15:32:42 -08:00
2018-01-23 14:38:59 -05:00
2018-01-29 10:27:11 -08:00
2018-02-09 12:17:10 -08:00
2018-02-05 14:46:39 -08:00
2017-11-08 12:50:27 -08:00
2018-02-12 12:46:01 -08:00
2017-11-21 22:01:19 -08:00
2018-02-05 16:55:21 -08:00
2017-11-20 10:40:33 -08:00
2017-11-08 12:50:27 -08:00
2017-11-18 15:41:16 -08:00
2017-11-08 12:50:27 -08:00
2017-11-16 22:00:53 -08:00
2017-12-18 09:24:09 -05:00
2018-01-02 13:45:01 -05:00
2018-01-29 16:06:11 -08:00
2018-01-30 10:53:54 -08:00
2017-11-29 16:13:55 -08:00
2017-12-19 17:46:36 -08:00
2017-11-21 22:01:19 -08:00
2017-03-25 17:57:18 -07:00