C#: Disable the write-through of the logger, as this is a theoretical slowdown, and results in less readable log files when multiple extractors are running concurrently.

calumgrant · calumgrant · commit ce12312ff2fb · 2019-07-08T15:58:49.000+01:00
diff --git a/csharp/extractor/Semmle.Util/Logger.cs b/csharp/extractor/Semmle.Util/Logger.cs
@@ -72,7 +72,6 @@ public FileLogger(Verbosity verbosity, string outputFile)
                     Directory.CreateDirectory(dir);
                 writer = new PidStreamWriter(new FileStream(outputFile, FileMode.Append, FileAccess.Write,
                     FileShare.ReadWrite, 8192));
-                writer.AutoFlush = true;
             }
             catch (Exception ex)  // lgtm[cs/catch-of-all-exceptions]
             {

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,6 @@ public FileLogger(Verbosity verbosity, string outputFile)`
`72`	`72`	`Directory.CreateDirectory(dir);`
`73`	`73`	`writer = new PidStreamWriter(new FileStream(outputFile, FileMode.Append, FileAccess.Write,`
`74`	`74`	`FileShare.ReadWrite, 8192));`
`75`		`- writer.AutoFlush = true;`
`76`	`75`	`}`
`77`	`76`	`catch (Exception ex) // lgtm[cs/catch-of-all-exceptions]`
`78`	`77`	`{`