MiniDebugger.st
changeset 20500 4767585b42c5
parent 20499 92e0c1d2ecc8
child 20501 b9160741f140
--- a/MiniDebugger.st	Sat Oct 01 17:07:17 2016 +0200
+++ b/MiniDebugger.st	Sat Oct 01 17:08:56 2016 +0200
@@ -47,8 +47,14 @@
 
     MiniDebugger enter
 
+    Attention:
+        all printing is done via lowLevelErrorPrint,
+        to ensure that output is to stderr, even if a logger is present, or
+        Stderr has been set to some other stream (Transcript).
+        Also to avoid the logger's interfering and adding imestamp information.
+        
     [author:]
-	Claus Gittinger
+        Claus Gittinger
 "
 ! !