judge-server
judge-server copied to clipboard
Problem updates can happen while grading
There is code to ensure that an update doesn't start mid-submission, but by oversight it doesn't prevent a submission starting mid-update. This is problematic because an update currently takes ~10s of rather high CPU usage, which can throw off the timings of a submission that starts mid-update.