Skip to content

Close file before unlinking#615

Merged
ugexe merged 1 commit intomainfrom
ugexe/close-file-before-unlink
Mar 21, 2026
Merged

Close file before unlinking#615
ugexe merged 1 commit intomainfrom
ugexe/close-file-before-unlink

Conversation

@ugexe
Copy link
Copy Markdown
Owner

@ugexe ugexe commented Mar 13, 2026

No description provided.

LEAVE is LIFO, so the previous code would first call .unlink before
.close. This can be a problem on windows where you cannot delete
an open file. This changes the code so that we close the file
before trying to delete it.
@ugexe ugexe merged commit 946b44e into main Mar 21, 2026
6 of 18 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant