From 068632326c6da476e82e03aab0dcaa357e464fe8 Mon Sep 17 00:00:00 2001
From: Dirk Zimoch <dirk.zimoch@psi.ch>
Date: Thu, 1 Jul 2021 11:33:28 +0200
Subject: [PATCH] document streamMsgTimeStamped

---
 docs/setup.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/setup.html b/docs/setup.html
index b6d13e6..b8f1f3a 100644
--- a/docs/setup.html
+++ b/docs/setup.html
@@ -405,6 +405,10 @@ it but this can be set to always colored or never colored by setting
 <code>streamDebugColored</code> to 1 or 0 respectively.
 </p>
 <p>
+Error and debug messages are prefixed with a time stamp unless the variable
+<code>streamMsgTimeStamped</code> is set to 0.
+</p>
+<p>
 When a device is disconnected StreamDevice can produce many repeated timeout 
 messages. To reduce this logging you can set <code>streamErrorDeadTime</code>
 to an integer number of seconds. When this is set repeated timeout messages 
@@ -418,6 +422,7 @@ streamError=1
 streamDebug=1
 streamDebugColored=1
 streamErrorDeadTime=30
+streamMsgTimeStamped=1
 streamSetLogfile("logfile.txt")
 </pre>
 
@@ -427,6 +432,7 @@ var streamError 1
 var streamDebug 1
 var streamDebugColored 1
 var streamErrorDeadTime 30
+var streamMsgTimeStamped 1
 streamSetLogfile("logfile.txt")
 </pre>