C#: Change handled exception in TrapWriter.ArchiveContents

tamasvajk · tamasvajk · commit f90c5346bf6e · 2023-02-03T15:13:23.000+01:00
diff --git a/csharp/extractor/Semmle.Extraction/TrapWriter.cs b/csharp/extractor/Semmle.Extraction/TrapWriter.cs
@@ -223,7 +223,7 @@ private void ArchiveContents(PathTransformer.ITransformedPath transformedPath, s
             {
                 FileUtils.MoveOrReplace(tmpSrcFile, dest);
             }
-            catch (IOException ex)
+            catch (Exception ex)
             {
                 // If this happened, it was probably because the same file was compiled multiple times.
                 // In any case, this is not a fatal error.

Original file line number	Diff line number	Diff line change
`@@ -223,7 +223,7 @@ private void ArchiveContents(PathTransformer.ITransformedPath transformedPath, s`
`223`	`223`	`{`
`224`	`224`	`FileUtils.MoveOrReplace(tmpSrcFile, dest);`
`225`	`225`	`}`
`226`		`- catch (IOException ex)`
	`226`	`+ catch (Exception ex)`
`227`	`227`	`{`
`228`	`228`	`// If this happened, it was probably because the same file was compiled multiple times.`
`229`	`229`	`// In any case, this is not a fatal error.`