pinokiod 3.2.224 → 3.2.225
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/kernel/api/index.js +9 -7
- package/package.json +1 -1
package/kernel/api/index.js
CHANGED
|
@@ -139,14 +139,16 @@ class Api {
|
|
|
139
139
|
console.log("STOP modpath", modpath)
|
|
140
140
|
console.log("this.mods before", this.mods)
|
|
141
141
|
console.log("this.child_procs before", this.child_procs)
|
|
142
|
-
|
|
143
|
-
|
|
144
|
-
|
|
145
|
-
|
|
142
|
+
if (this.child_procs[modpath]) {
|
|
143
|
+
let child_procs = Array.from(this.child_procs[modpath])
|
|
144
|
+
for(let proc of child_procs) {
|
|
145
|
+
console.log("reset child proc", proc)
|
|
146
|
+
delete this.mods[proc]
|
|
147
|
+
}
|
|
148
|
+
delete this.child_procs[modpath]
|
|
149
|
+
console.log("this.mods after", this.mods)
|
|
150
|
+
console.log("this.child_procs after", this.child_procs)
|
|
146
151
|
}
|
|
147
|
-
delete this.child_procs[modpath]
|
|
148
|
-
console.log("this.mods after", this.mods)
|
|
149
|
-
console.log("this.child_procs after", this.child_procs)
|
|
150
152
|
|
|
151
153
|
|
|
152
154
|
// stop all shell processes connected to the uri
|