Fix file read error log message

tamasvajk · tamasvajk · commit 88d1539d43e0 · 2021-02-04T08:42:39.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction/Entities/File.cs b/csharp/extractor/Semmle.Extraction/Entities/File.cs
@@ -62,7 +62,7 @@ public override void Populate(TextWriter trapFile)
                 }
                 catch (Exception exc)
                 {
-                    Context.ExtractionError($"Couldn't read file", originalPath, null, exc.StackTrace);
+                    Context.ExtractionError($"Couldn't read file: {originalPath}", null, null, exc.StackTrace);
                 }
             }
 

Original file line number	Diff line number	Diff line change
`@@ -62,7 +62,7 @@ public override void Populate(TextWriter trapFile)`
`62`	`62`	`}`
`63`	`63`	`catch (Exception exc)`
`64`	`64`	`{`
`65`		`- Context.ExtractionError($"Couldn't read file", originalPath, null, exc.StackTrace);`
	`65`	`+ Context.ExtractionError($"Couldn't read file: {originalPath}", null, null, exc.StackTrace);`
`66`	`66`	`}`
`67`	`67`	`}`
`68`	`68`