[Bug]: Overwriting existing file when exporting results view sometimes fails

What did you do?

1. Open a database.
2. Execute some SQL query.
3. "Save the results view" -> Export to CSV -> Save
4. Select an existing file to overwrite it.

What did you expect to see?

Exporting the data succeeds and the file is overwritten with the fresh data.

What did you see instead?

Sometimes, the CSV export randomly fails with an "Access denied" error, even though I don't knowingly have that file opened anywhere. So far, a second attempt at overwriting the file has always succeeded, and I've never encountered similar issues in other software on my computer.

DB4S Version

3.13.1

What OS are you seeing the problem on?

Windows

OS version

Windows 10

Relevant log output

Prevention against duplicate issues

• I have searched for similar issues