pinokiod 3.17.8 → 3.18.0
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 +0 -1
- package/kernel/bin/index.js +0 -1
- package/kernel/index.js +0 -1
- package/package.json +1 -1
- package/server/index.js +0 -6
- package/server/socket.js +0 -3
- package/server/views/install.ejs +1 -1
- package/server/views/shell.ejs +0 -1
package/kernel/api/index.js
CHANGED
package/kernel/bin/index.js
CHANGED
package/kernel/index.js
CHANGED
package/package.json
CHANGED
package/server/index.js
CHANGED
|
@@ -1565,8 +1565,6 @@ class Server {
|
|
|
1565
1565
|
if (!config) {
|
|
1566
1566
|
return { menu: [] }
|
|
1567
1567
|
}
|
|
1568
|
-
console.log("renderMenu2 Before", JSON.stringify(config, null, 2))
|
|
1569
|
-
|
|
1570
1568
|
if (config.menu) {
|
|
1571
1569
|
for(let i=0; i<config.menu.length; i++) {
|
|
1572
1570
|
let item = config.menu[i]
|
|
@@ -1604,7 +1602,6 @@ class Server {
|
|
|
1604
1602
|
//config.script_id = this.kernel.path(keypath) + "?cwd=" + base.cwd
|
|
1605
1603
|
config.script_id = path.resolve(base.path, config.href) + "?cwd=" + base.cwd
|
|
1606
1604
|
}
|
|
1607
|
-
console.log("renderMenu2 After", JSON.stringify(config, null, 2))
|
|
1608
1605
|
return config
|
|
1609
1606
|
}
|
|
1610
1607
|
|
|
@@ -2368,8 +2365,6 @@ class Server {
|
|
|
2368
2365
|
}
|
|
2369
2366
|
}
|
|
2370
2367
|
async getPlugin(name) {
|
|
2371
|
-
console.log("getPlugin", name)
|
|
2372
|
-
console.log("plugin config", this.kernel.plugin.config)
|
|
2373
2368
|
if (this.kernel.plugin.config) {
|
|
2374
2369
|
try {
|
|
2375
2370
|
let info = new Info(this.kernel)
|
|
@@ -3828,7 +3823,6 @@ class Server {
|
|
|
3828
3823
|
}
|
|
3829
3824
|
|
|
3830
3825
|
let config = structuredClone(this.kernel.proto.config)
|
|
3831
|
-
console.log(">>>>>>>> config", config)
|
|
3832
3826
|
config = this.renderMenu2(config, {
|
|
3833
3827
|
cwd: req.query.path,
|
|
3834
3828
|
href: "/prototype/show",
|
package/server/socket.js
CHANGED
|
@@ -59,8 +59,6 @@ class Socket {
|
|
|
59
59
|
await this.parent.kernel.api.init()
|
|
60
60
|
// look for repos that match
|
|
61
61
|
|
|
62
|
-
console.log({ req })
|
|
63
|
-
|
|
64
62
|
if (req.uri) {
|
|
65
63
|
if (req.mode === "open") {
|
|
66
64
|
// get the default script and respond
|
|
@@ -151,7 +149,6 @@ class Socket {
|
|
|
151
149
|
} else if (req.emit) {
|
|
152
150
|
this.parent.kernel.shell.emit(req)
|
|
153
151
|
} else if (req.key && req.id) {
|
|
154
|
-
console.log({ req })
|
|
155
152
|
this.parent.kernel.shell.emit({
|
|
156
153
|
id: req.id,
|
|
157
154
|
emit: req.key,
|
package/server/views/install.ejs
CHANGED
|
@@ -257,7 +257,7 @@ document.addEventListener("DOMContentLoaded", async () => {
|
|
|
257
257
|
shell_id = packet.data.id
|
|
258
258
|
}
|
|
259
259
|
term.write(packet.data.raw)
|
|
260
|
-
} else if (packet.
|
|
260
|
+
} else if (packet.type === "shell.kill") {
|
|
261
261
|
socket.close()
|
|
262
262
|
} else if (packet.type === "result") {
|
|
263
263
|
resolve()
|
package/server/views/shell.ejs
CHANGED