Change log time format to formal one

veblush · veblush · commit 2fa5b9df828b · 2016-01-07T22:02:55.000+09:00
diff --git a/extra/UniversalCompiler/Logger.cs b/extra/UniversalCompiler/Logger.cs
@@ -70,7 +70,7 @@ private void DeleteLogFileIfTooOld()
 
 	public void AppendHeader()
 	{
-		var dateTimeString = DateTime.Now.ToString("F");
+		var dateTimeString = DateTime.Now.ToString("yyyy-MM-dd HH:mm:ss.fff");
 		var middleLine = "*" + new string(' ', 78) + "*";
 		int index = (80 - dateTimeString.Length) / 2;
 		middleLine = middleLine.Remove(index, dateTimeString.Length).Insert(index, dateTimeString);

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ private void DeleteLogFileIfTooOld()`
`70`	`70`
`71`	`71`	`public void AppendHeader()`
`72`	`72`	`{`
`73`		`- var dateTimeString = DateTime.Now.ToString("F");`
	`73`	`+ var dateTimeString = DateTime.Now.ToString("yyyy-MM-dd HH:mm:ss.fff");`
`74`	`74`	`var middleLine = "" + new string(' ', 78) + "";`
`75`	`75`	`int index = (80 - dateTimeString.Length) / 2;`
`76`	`76`	`middleLine = middleLine.Remove(index, dateTimeString.Length).Insert(index, dateTimeString);`