pinokiod 3.17.7 → 3.17.8

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.
Files changed (2) hide show
  1. package/package.json +1 -1
  2. package/server/views/install.ejs +2 -0
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.17.7",
3
+ "version": "3.17.8",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/server/views/install.ejs CHANGED
@@ -257,6 +257,8 @@ document.addEventListener("DOMContentLoaded", async () => {
257
257
  shell_id = packet.data.id
258
258
  }
259
259
  term.write(packet.data.raw)
260
+ } else if (packet.data.type === "shell.kill") {
261
+ socket.close()
260
262
  } else if (packet.type === "result") {
261
263
  resolve()
262
264
  } else if (packet.type === "error") {