sergei Trofimov 1e750c659b utils/log: add early record buffering ... Buffer early log records until a log file becomes available, flush records to said file afterwards. This ensures that early log output, which, among other things, contains plugin discovery logging, is not lost. Buffer capacity is configurable via an environment variable.		2018-05-09 15:06:31 +01:00
..
configuration.rst	utils/log: add early record buffering	2018-05-09 15:06:31 +01:00
invocation.rst	Documentation: Update WA3 Documentation	2018-04-24 09:59:57 +01:00
output_api.rst	doc/output_api: Improve examples	2018-04-30 09:14:22 +01:00
runtime_parameters.rst	doc/migration_guide: Fix typo	2018-04-30 09:14:22 +01:00