Fix erroneous logger disposal

tamasvajk · tamasvajk · commit d88074c6647f · 2024-06-05T10:30:31.000+02:00
diff --git a/csharp/extractor/Semmle.Extraction.CSharp/Extractor/Analyser.cs b/csharp/extractor/Semmle.Extraction.CSharp/Extractor/Analyser.cs
@@ -312,8 +312,6 @@ public virtual void Dispose()
             else
                 Logger.Log(Severity.Info, "EXTRACTION SUCCEEDED in {0}", stopWatch.Elapsed);
 
-            Logger.Dispose();
-
             compilationTrapFile?.Dispose();
         }
 

Original file line number	Diff line number	Diff line change
`@@ -312,8 +312,6 @@ public virtual void Dispose()`
`312`	`312`	`else`
`313`	`313`	`Logger.Log(Severity.Info, "EXTRACTION SUCCEEDED in {0}", stopWatch.Elapsed);`
`314`	`314`
`315`		`- Logger.Dispose();`
`316`		`-`
`317`	`315`	`compilationTrapFile?.Dispose();`
`318`	`316`	`}`
`319`	`317`