Skip to content

Commit 0f09198

Browse files
authored
Merge pull request github#16673 from tamasvajk/fix/logger-disposal
C#: Fix erroneous logger disposal
2 parents 2e5d9c3 + b8bc014 commit 0f09198

File tree

1 file changed

+0
-2
lines changed
  • csharp/extractor/Semmle.Extraction.CSharp/Extractor

1 file changed

+0
-2
lines changed

csharp/extractor/Semmle.Extraction.CSharp/Extractor/Analyser.cs

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -312,8 +312,6 @@ public virtual void Dispose()
312312
else
313313
Logger.Log(Severity.Info, "EXTRACTION SUCCEEDED in {0}", stopWatch.Elapsed);
314314

315-
Logger.Dispose();
316-
317315
compilationTrapFile?.Dispose();
318316
}
319317

0 commit comments

Comments
 (0)