diff --git a/services/web/app/src/router.mjs b/services/web/app/src/router.mjs index 10ed348a6c..a6b967e715 100644 --- a/services/web/app/src/router.mjs +++ b/services/web/app/src/router.mjs @@ -1176,7 +1176,11 @@ async function initialize(webRouter, privateApiRouter, publicApiRouter) { CompileManager.compile( projectId, testUserId, - { metricsPath: 'health-check' }, + { + metricsPath: 'health-check', + compileFromHistory: true, + rootResourcePath: 'main.tex', + }, function (error, status, _outputFiles, clsiServerId) { if (handler) { clearTimeout(handler)