From ca41090aaf4ffb25e87ed073990fe91cb18179ee Mon Sep 17 00:00:00 2001 From: Leah Neukirchen Date: Fri, 28 Jan 2022 14:19:38 +0100 Subject: MANUAL: rewrite logging part a bit --- MANUAL | 20 +++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/MANUAL b/MANUAL index 93a532c..7f28f58 100644 --- a/MANUAL +++ b/MANUAL @@ -85,16 +85,18 @@ Only the first letter of command is relevant, but mnemonic: Logging with rvnit Rvnit distinguishes two kinds of logging mechanism: -- Loggers are associated to one daemon and get the daemon stdout as stdin -- The global logger gets logs from all tasks that don't have a custom logger, - as well as rvnit's log output - -Rvnit keeps a global log pipe and associates logged lines with their -origin pid and time. This pipe is filled before the global logger is -started, so the global logger will get all messages since boot time. +- Loggers are associated to one daemon and get the daemon stdout as stdin. + This is a 1:1 correspondence between daemons and loggers, and they must + be named exactly the same, except one has a 'D' and one a 'L'. + Rvnit keeps the pipes between daemons and loggers open and can + respawn daemons and loggers without loss of data. -Rvnit keeps the pipes between daemons and loggers open and can respawn -daemons and loggers without loss of data. +- The global logger gets logs from all tasks that don't have a custom logger, + as well as rvnit's own log output. + Rvnit keeps a global log pipe and associates logged lines with their + origin pid and time. This pipe is written to even before the global + logger is started, so the global logger will get all messages since + boot time. Rvnit as init for Linux -- cgit 1.4.1