# HG changeset patch
# User StephaneLenclud
# Date 1469188064 -7200
# Node ID 6cd9ffdd638641b0a0894c08dd1527c80ec1552c
# Parent  ca469451f8e68407c27139fc57d8a4c5171c7b38
Logs hour formatting switch to 24h format.

diff -r ca469451f8e6 -r 6cd9ffdd6386 Server/RichTextBoxTextWriter.cs
--- a/Server/RichTextBoxTextWriter.cs	Tue Jul 19 17:01:21 2016 +0200
+++ b/Server/RichTextBoxTextWriter.cs	Fri Jul 22 13:47:44 2016 +0200
@@ -31,8 +31,8 @@
             iLastChar = aChar;
             if (previousChar == '\n')
             {
-                //Write(DateTime.Now.ToString("yyyy/MM/dd - hh:mm:ss.fff: "));
-                Write(DateTime.Now.ToString("MM/dd hh:mm:ss.fff: "));
+                //Write(DateTime.Now.ToString("yyyy/MM/dd - HH:mm:ss.fff: "));
+                Write(DateTime.Now.ToString("MM/dd HH:mm:ss.fff: "));
             }