Revert "wip"

This reverts commit 81103ae6d7c0c22eb24da6ed6577223ba16e8861.

GitOrigin-RevId: f817ac652e35e9ed79db8d24c4144460e4cc0f71

services/web/app/src/Features/Compile/ClsiManager.js

@@ -471,9 +471,8 @@ const ClsiManager = {
     }
     ProjectGetter.getProject(
       projectId,
-      { compiler: 1, rootDoc_id: 1, imageName: 1, rootFolder: 1, rootDoc_id: 1 },
+      { compiler: 1, rootDoc_id: 1, imageName: 1, rootFolder: 1 },
       (err, project) => {
-        console.log("GGGG", project)
         if (err != null) {
           return callback(
             new OError({

services/web/app/src/Features/Compile/CompileManager.js

@@ -62,7 +62,7 @@ module.exports = CompileManager = {
               return callback(null, 'autocompile-backoff', [])
             }
 
-            return ProjectRootDocManager.ensureRootDocumentIsSet(
+            return ProjectRootDocManager.ensureRootDocumentIsValid(
               project_id,
               function(error) {
                 if (error != null) {