Submitting a file without extension causes crash
Summary
Steps to Reproduce
- $echo 'hi' > bla
- Go to any submission that accepts any type of file (I went to OS Assignment 3 Bonus)
- Click submit, browse, select bla and submit
- You should see a page saying "Oops! Something went wrong"
Possible Fix
I am not sure if this is a bug of the website or of the code checked of the OS course