pinokiod 3.15.4 → 3.15.6

package/kernel/index.js

@@ -294,6 +294,7 @@ class Kernel {
     }
     let network_running = await this.network_running()
     console.log({ network_running })
+    console.log({ refreshing: this.processes.refreshing })
     if (network_running) {
 
 

package/kernel/procs.js

@@ -130,24 +130,28 @@ class Procs {
     this.port_cb = cb
     this.port_running = true
     if (sh) {
+      console.log("Shell exists")
       this.emit(id, cmd)
     } else {
+      console.log("Shell doesn't exist. create one")
       this.kernel.exec({
         id,
         conda: {
           skip: true,
         },
         onready: () => {
-//          console.log("ON READY")
+          console.log("ON READY", { id, cmd })
           this.emit(id, cmd)
         },
         input: true
       }, (e) => {
         if (e.state && e.state.includes(cls)) {
+          console.log({ port_running: this.port_running })
           if (this.port_running) {
             this.port_running = false
-//            console.log("GET PIDS")
+            console.log("GET PIDS")
             this.get_pids(e.state).then((pids) => {
+              console.log({ pids })
               this.portPidList = pids
               this.port_cb(pids)
             })
@@ -236,23 +240,25 @@ class Procs {
     }
   }
   async refresh() {
+    console.log("Procs.refresh")
     let map = {}
-    if (this.refreshing) {
-//      console.log("still refreshing. retry later") 
-      return
-    }
     this.refreshing = true
     let ts = Date.now()
     let list = await new Promise((resolve, reject) => {
 //      console.time(">>>>>>>>GET PORTS " + ts)
+      console.log("get ports")
       this.getPortPidList((portPidList) => {
-        console({ portPidList })
+        console.log("done: get ports")
+        console.log({ portPidList })
 //        console.timeEnd(">>>>>>>>GET PORTS " + ts)
 //        console.time(">>>>>>> GET PIDS " + ts)
         // if there's any new port, run getPidToNameMap
 
 
+        console.log("getPid")
         this.getPidToNameMap(portPidList, (pidToName) => {
+          console.log("done getPid")
+          
 //          console.timeEnd(">>>>>>> GET PIDS " + ts)
           let list = portPidList.map(({ port, pid, ip }) => {
             const fullname = pidToName[pid] || 'Unknown';

package/package.json

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