Make scripts work with 'illegal' filenames #3005

Closed

opened

on May 25, 2025

Member

In #3004 we allow filenames we don't support internally if we are shadow.

One of those filenames is -bla-.py, which our compile script crashes on. We might want to fix this.

added a commit that references this issue

on May 25, 2025

When we shadow, trust the filenames and file sizes, but treat them as…

linked a pull request that will close this issueWhen we shadow, trust the filenames and file sizes. #3004

on May 25, 2025

github-merge-queue

added a commit that references this issue

When we shadow, trust the filenames and file sizes, but treat them as…

closed this as completedin #3004

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

When we shadow, trust the filenames and file sizes.DOMjudge/domjudge

Participants