Merge pull request #1564 from calumgrant/cs/no-logger-writethrough

hvitved · web-flow · commit 902825f8ac19 · 2019-07-29T15:20:00.000Z
C#: Disable logger AutoFlush
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`	`{`