Rename UniversalCompiler.txt to *.log

veblush · veblush · commit ecfc412ad9ef · 2016-01-12T15:45:53.000+09:00
diff --git a/extra/UniversalCompiler/Logger.cs b/extra/UniversalCompiler/Logger.cs
@@ -23,7 +23,7 @@ only when the Logger object is disposed. This solves the log file sharing proble
 		*/
 	}
 
-	private const string LOG_FILENAME = "./Temp/UniversalCompiler.txt";
+	private const string LOG_FILENAME = "./Temp/UniversalCompiler.log";
 	private const int MAXIMUM_FILE_AGE_IN_MINUTES = 5;
 
 	private readonly Mutex mutex;

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ only when the Logger object is disposed. This solves the log file sharing proble`
`23`	`23`	`*/`
`24`	`24`	`}`
`25`	`25`
`26`		`- private const string LOG_FILENAME = "./Temp/UniversalCompiler.txt";`
	`26`	`+ private const string LOG_FILENAME = "./Temp/UniversalCompiler.log";`
`27`	`27`	`private const int MAXIMUM_FILE_AGE_IN_MINUTES = 5;`
`28`	`28`
`29`	`29`	`private readonly Mutex mutex;`