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