Moritz Kiefer 687bc036aa Ignore DoesNotExistError in removeFile ...

We have seen a bunch of errors on CI of the form

```
C:\users\foobar\ghcBDA1.zip: DeleteFile "\\\\?\\C:\\users\\foobar\\ghcBDA1.zip": does not exist (The system cannot find the file specified.)
```

I haven’t managed to reproduce this but looking at the code it seems
like we can be interrupted with an async exception (we kill threads
pretty aggressively) in the `bracketOnError` call after the file has
been renamed but before the whole block returns. In this case, the
file will not exist but you’ll run the cleanup in `bracketOnError`
anyway which will then fail.

We could try to fix this by masking things differently but ignoring
the error seems like a simpler and more robust solution.

2020-03-02 11:35:44 +01:00

..

Zip

Ignore DoesNotExistError in removeFile

2020-03-02 11:35:44 +01:00

Zip.hs

Replace the current year by the word “present” in copyright notes

2019-07-03 21:17:43 +02:00