whitequark
|
223b984385
|
Fix non-exception-safe finally: handlers.
Fixes #1013.
|
2018-05-25 04:23:32 +00:00 |
|
whitequark
|
c9e2a085ec
|
logging, aqctl_corelog: recognize log level TRACE.
|
2017-08-31 13:12:22 +00:00 |
|
|
1c32d4fb71
|
monkey-patch Python 3.5.2 to disable broken asyncio.base_events._ipaddr_info optimization (#506)
|
2016-07-13 11:35:16 +08:00 |
|
|
27c12a5bf4
|
protocols/logging,pc_rpc: do not print errors on Windows when clients disconnect
|
2016-01-27 21:23:27 +01:00 |
|
|
170b438b98
|
protocols/logging/LogParser: handle Windows CRLF
|
2016-01-27 20:45:04 +01:00 |
|
|
3cf67afeb1
|
generalize multiline logging to remote logs and controllers
|
2016-01-26 21:59:37 +01:00 |
|
|
ded1e31567
|
protocols/logging: add MultilineFormatter
|
2016-01-26 21:30:09 +01:00 |
|
|
19c5e89b4d
|
protocols/logging: support parsing multiline log messages
|
2016-01-26 21:06:44 +01:00 |
|
|
5aa4de8e89
|
refactor logging and implement in worker
|
2016-01-26 20:31:42 +01:00 |
|
|
183e855229
|
remove workaround_asyncio263
|
2015-12-20 23:26:48 +08:00 |
|
|
a58e41684b
|
protocols/logging: revert debug hack that was incorrectly committed
|
2015-10-21 09:54:39 +08:00 |
|
|
d13b368a65
|
build logging into worker
|
2015-10-20 18:11:50 +08:00 |
|
|
1bc4061620
|
protocols: better workaround for asyncio issue 263
|
2015-10-20 00:35:33 +08:00 |
|
|
f6fd7ecef2
|
logging: handle newlines in messages
|
2015-10-17 10:21:03 +08:00 |
|
|
6c856025cc
|
protocol/logging: workaround for asyncio's inability to detect connection closes on writes
|
2015-10-16 21:28:39 +08:00 |
|
|
f332c1d3cc
|
ctlmgr: forward controller logs
|
2015-10-16 20:08:11 +08:00 |
|
|
786dc14057
|
protocols/logging: fix split, warn on format errors
|
2015-10-16 20:07:31 +08:00 |
|
|
cee8f288de
|
protocols/logging: add LogForwarder
|
2015-10-16 18:35:02 +08:00 |
|
|
c0796249b3
|
protocols/logging: document, take level numbers for consistency with master publish
|
2015-10-16 18:34:37 +08:00 |
|
|
cbda753f44
|
master: TCP server for remote logging
|
2015-10-16 00:53:35 +08:00 |
|