Browse Source

pass through checkpoint setting (#34631)

GitOrigin-RevId: 50e9791b468253ee966b0eac822b2a01321a0ece
Brian Gough 1 month ago
parent
commit
6f9b7031f4
2 changed files with 10 additions and 0 deletions
  1. 5 0
      services/clsi/app/js/CompileManager.js
  2. 5 0
      services/clsi/app/js/RequestParser.js

+ 5 - 0
services/clsi/app/js/CompileManager.js

@@ -192,6 +192,11 @@ async function doCompile(request, stats, timings) {
     }
   }
 
+  // Pass through checkpoint setting
+  if (request.enableCheckpoint) {
+    env.ENABLE_CHECKPOINT = '1'
+  }
+
   const compileStart = Date.now()
 
   const compileName = getCompileName(request.project_id, request.user_id)

+ 5 - 0
services/clsi/app/js/RequestParser.js

@@ -65,6 +65,11 @@ function parse(body, callback) {
         type: 'number',
       }
     )
+    response.enableCheckpoint = _parseAttribute(
+      'enableCheckpoint',
+      compile.options.enableCheckpoint,
+      { default: false, type: 'boolean' }
+    )
     response.timeout = _parseAttribute('timeout', compile.options.timeout, {
       default: MAX_TIMEOUT,
       type: 'number',