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

C#: Disable logger AutoFlush
2026-04-29 10:45:15 +02:00 · 2019-07-29 15:20:00 +00:00
parent 3dfc697585 ce12312ff2
commit 902825f8ac
1 changed files with 0 additions and 1 deletions
--- a/csharp/extractor/Semmle.Util/Logger.cs
+++ b/csharp/extractor/Semmle.Util/Logger.cs
@@ -72,7 +72,6 @@ namespace Semmle.Util.Logging
                    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]
            {