MANUAL: rewrite logging part a bit

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