Skip to content

Make scripts work with 'illegal' filenames #3005

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Open
nickygerritsen opened this issue May 25, 2025 · 0 comments · May be fixed by #3004
Open

Make scripts work with 'illegal' filenames #3005

nickygerritsen opened this issue May 25, 2025 · 0 comments · May be fixed by #3004

Comments

@nickygerritsen
Copy link
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.
nickygerritsen added a commit to nickygerritsen/domjudge that referenced this issue May 25, 2025
@nickygerritsen
When we shadow, trust the filenames and file sizes, but treat them as…
9c9ec9f 
… import-error

Fixes DOMjudge#3005
@nickygerritsen nickygerritsen linked a pull request May 25, 2025 that will close this issue
When we shadow, trust the filenames and file sizes. #3004
Open
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

When we shadow, trust the filenames and file sizes. nickygerritsen/domjudge
1 participant
@nickygerritsen