I moved the check for \begin{thebibliography} to the /submit area, because compiler/runner.py runs in the ThreadPoolExecutor, and it's clumsy to handle exceptions there (I only handle system-related exceptions there, which should not happen). Things like checking for missing main.tex happens earlier in the routes.py before we submit it to the thread pool.
I moved the check for \begin{thebibliography} to the /submit area, because compiler/runner.py runs in the ThreadPoolExecutor, and it's clumsy to handle exceptions there (I only handle system-related exceptions there, which should not happen). Things like checking for missing main.tex happens earlier in the routes.py before we submit it to the thread pool.