pinokiod 3.2.238 → 3.2.239

package/kernel/index.js

@@ -491,7 +491,7 @@ class Kernel {
               })
 
               // get env
-              let interval = setInterval(() => {
+              let interval = setInterval(async () => {
                 if (this.i) {
                   for(let api of this.i.api) {
                     let env_path = path.resolve(this.api.userdir, api.path)
@@ -519,6 +519,7 @@ class Kernel {
                     }
                   }
                   clearInterval(interval)
+                  this.launch_complete = true
                 }
               }, 1000)
             }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pinokiod",
-  "version": "3.2.238",
+  "version": "3.2.239",
   "description": "",
   "main": "index.js",
   "scripts": {

package/server/index.js

@@ -3083,6 +3083,7 @@ class Server {
       await this.kernel.getInfo()
       console.timeEnd("getInfo")
       let info = Object.assign({}, this.kernel.i)
+      info.launch_complete = this.kernel.launch_complete
       delete info.vars
       delete info.shell_env
       delete info.memory

package/server/views/index.ejs

@@ -1077,6 +1077,24 @@ if (document.querySelector("#genlog")) {
     })
   })
 }
+fetch("/pinokio/info").then((res) => {
+  return res.json()
+}).then((res) => {
+  if (!res.launch_complete) {
+    let interval = setInterval(async () => {
+      let res = await fetch("/pinokio/info").then((res) => {
+        return res.json()
+      })
+      if (res.launch_complete) {
+        console.log("launched")
+        clearInterval(interval)
+        location.href = location.href
+      } else {
+        console.log("not yet launched")
+      }
+    }, 1000)
+  }
+})
 
 </script>
 </body>