pinokiod 3.2.16 → 3.2.17
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/shell.js +3 -0
- package/package.json +1 -1
package/kernel/shell.js
CHANGED
|
@@ -691,6 +691,7 @@ class Shell {
|
|
|
691
691
|
return res
|
|
692
692
|
}
|
|
693
693
|
stop(message) {
|
|
694
|
+
console.log("STOP", { message })
|
|
694
695
|
return this.kill(message)
|
|
695
696
|
}
|
|
696
697
|
continue(message) {
|
|
@@ -705,6 +706,7 @@ class Shell {
|
|
|
705
706
|
}
|
|
706
707
|
}
|
|
707
708
|
kill(message, force) {
|
|
709
|
+
console.log("KILL", { message, force })
|
|
708
710
|
|
|
709
711
|
this.done = true
|
|
710
712
|
this.ready = false
|
|
@@ -837,6 +839,7 @@ ${cleaned}
|
|
|
837
839
|
let cached_msg = msg
|
|
838
840
|
// todo: may need to handle cases when the command returns immediately with no output (example: 'which brew' returns immediately with no text if brew doesn't exist)
|
|
839
841
|
setTimeout(() => {
|
|
842
|
+
console.log({ cache, cleaned })
|
|
840
843
|
if (cache === cleaned) {
|
|
841
844
|
if (this.persistent) {
|
|
842
845
|
if (this.cb) this.cb({
|