pinokiod 3.8.132 → 3.8.134
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/index.js +6 -1
- package/package.json +1 -1
package/kernel/index.js
CHANGED
|
@@ -33,7 +33,8 @@ const Proto = require('./prototype')
|
|
|
33
33
|
const Router = require("./router")
|
|
34
34
|
const Procs = require('./procs')
|
|
35
35
|
const Peer = require('./peer')
|
|
36
|
-
const kill = require('./tree-kill');
|
|
36
|
+
//const kill = require('./tree-kill');
|
|
37
|
+
const kill = require('kill-sync')
|
|
37
38
|
const VARS = {
|
|
38
39
|
pip: {
|
|
39
40
|
install: {
|
|
@@ -520,6 +521,10 @@ class Kernel {
|
|
|
520
521
|
// }
|
|
521
522
|
}
|
|
522
523
|
}
|
|
524
|
+
kill(pid) {
|
|
525
|
+
console.log("Kill", pid)
|
|
526
|
+
kill(pid, 'SIGKILL', true)
|
|
527
|
+
}
|
|
523
528
|
async init(options) {
|
|
524
529
|
|
|
525
530
|
let home = this.store.get("home")
|