[web] clsi-cache: fix download of .blg files (#25083)

GitOrigin-RevId: 69c8f789b8f8fa4b241c7563722e9a1cb6f86244
This commit is contained in:
Jakob Ackermann
2025-04-24 16:33:05 +01:00
committed by Copybot
parent 02dc00b0b8
commit c9ae67d56f
@@ -11,15 +11,16 @@ const { NotFoundError, InvalidNameError } = require('../Errors/Errors')
function validateFilename(filename) {
if (
![
'output.blg',
'output.log',
'output.pdf',
'output.synctex.gz',
'output.overleaf.json',
'output.tar.gz',
].includes(filename) ||
filename.endsWith('.blg')
!(
[
'output.blg',
'output.log',
'output.pdf',
'output.synctex.gz',
'output.overleaf.json',
'output.tar.gz',
].includes(filename) || filename.endsWith('.blg')
)
) {
throw new InvalidNameError('bad filename')
}