From c9ae67d56fcc520d80848987684ac018ca58635c Mon Sep 17 00:00:00 2001 From: Jakob Ackermann Date: Thu, 24 Apr 2025 16:33:05 +0100 Subject: [PATCH] [web] clsi-cache: fix download of .blg files (#25083) GitOrigin-RevId: 69c8f789b8f8fa4b241c7563722e9a1cb6f86244 --- .../src/Features/Compile/ClsiCacheHandler.js | 19 ++++++++++--------- 1 file changed, 10 insertions(+), 9 deletions(-) diff --git a/services/web/app/src/Features/Compile/ClsiCacheHandler.js b/services/web/app/src/Features/Compile/ClsiCacheHandler.js index 14c742d0ae..54ebd9e259 100644 --- a/services/web/app/src/Features/Compile/ClsiCacheHandler.js +++ b/services/web/app/src/Features/Compile/ClsiCacheHandler.js @@ -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') }