[3752] Added a precision about (immediate) flush (true)

diff --git a/doc/guide/logging.xml b/doc/guide/logging.xml
index 0ac04265dd6688ebaaa307b33c88fd605ed0c1c8..b3473a88151487d9e6073701b9d34f68d374a708 100644 (file)
--- a/doc/guide/logging.xml
+++ b/doc/guide/logging.xml
@@ -542,7 +542,7 @@ TODO; there's a ticket to determine these levels, see #1074
             Flush buffers after each log message. Doing this will
             reduce performance but will ensure that if the program
             terminates abnormally, all messages up to the point of
-            termination are output.
+            termination are output. Default is true.
           </para>
 
         </section>