Skip to content

Minor polish - use NamedTemporaryFile for temp file creation - #498

Merged
pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:polish_tempfile_creation
Oct 10, 2026
Merged

pehrsoderman merged 1 commit into
Kattis:masterfrom
gkreitz:polish_tempfile_creation

Conversation

@gkreitz

@gkreitz gkreitz commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

Tiny polish for something I spotted when doing #497 - replaces an old use of mkstemp with a NamedTemporaryFile. Basically just stylistic, but this also fixes a (tiny) bug where we would leave behind a temporary file on some errors.

In this PR, we also create the temporary files we use for checking validators in our workdir (instead of directly in /tmp).

@pehrsoderman
pehrsoderman merged commit 174de82 into Kattis:master Oct 10, 2026
7 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.

2 participants