pinokiod 3.8.136 → 3.8.137
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/package.json +1 -1
- package/server/index.js +2 -2
package/package.json
CHANGED
package/server/index.js
CHANGED
|
@@ -3946,7 +3946,7 @@ class Server {
|
|
|
3946
3946
|
})
|
|
3947
3947
|
});
|
|
3948
3948
|
process.on('SIGINT', () => {
|
|
3949
|
-
console.log("[SigInt event]")
|
|
3949
|
+
console.log("[SigInt event] Kill", process.pid)
|
|
3950
3950
|
//if (this.kernel && this.kernel.shell) {
|
|
3951
3951
|
// console.log("shell reset")
|
|
3952
3952
|
// this.kernel.shell.reset(() => {
|
|
@@ -3964,7 +3964,7 @@ class Server {
|
|
|
3964
3964
|
})
|
|
3965
3965
|
|
|
3966
3966
|
process.on('SIGTERM', () => {
|
|
3967
|
-
console.log("[Sigterm event]")
|
|
3967
|
+
console.log("[Sigterm event] Kill", process.pid)
|
|
3968
3968
|
// if (this.kernel && this.kernel.shell) {
|
|
3969
3969
|
// console.log("shell reset")
|
|
3970
3970
|
// this.kernel.shell.reset(() => {
|