Просмотр исходного кода

[web] switch /status/compiler/:projectId to compile from history (#32458)

GitOrigin-RevId: d55b0078a3fa59af4f8f1eb60d29d2dc68397f9a
Jakob Ackermann 4 месяцев назад
Родитель
Сommit
828e196a69
1 измененных файлов с 5 добавлено и 1 удалено
  1. 5 1
      services/web/app/src/router.mjs

+ 5 - 1
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)