hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-18 21:44:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #12086 from tamasvajk/feature/fix-exception-handling-archive

Browse Source 
C#: Change handled exception in `TrapWriter.ArchiveContents`
This commit is contained in:
Tamás Vajk
2023-02-06 08:53:56 +01:00
committed by GitHub
parent 03385ac0b5 f90c5346bf
commit c03fe70b8d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/extractor/Semmle.Extraction/TrapWriter.cs
View File

@@ -223,7 +223,7 @@ namespace Semmle.Extraction
{
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.