diff options
Diffstat (limited to 'MANUAL')
| -rw-r--r-- | MANUAL | 20 |
1 files 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 |