pinokiod 3.256.0 → 3.259.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/bin/conda.js +0 -2
- package/kernel/bin/huggingface.js +0 -4
- package/kernel/bin/index.js +0 -4
- package/kernel/shell.js +10 -2
- package/package.json +1 -1
- package/server/index.js +4 -0
package/kernel/bin/conda.js
CHANGED
|
@@ -187,8 +187,6 @@ report_errors: false`)
|
|
|
187
187
|
this.kernel.bin.installed.conda = conda
|
|
188
188
|
this.kernel.bin.installed.conda_versions = conda_versions
|
|
189
189
|
return conda_check.conda && conda_check.mamba && conda_check.sqlite
|
|
190
|
-
console.log("2 this.installed.conda", this.kernel.bin.installed.conda)
|
|
191
|
-
console.log("2 this.installed.conda_versions", this.kernel.bin.installed.conda_versions)
|
|
192
190
|
//return conda_check.conda && conda_check.mamba
|
|
193
191
|
}
|
|
194
192
|
async install(req, ondata) {
|
|
@@ -14,14 +14,10 @@ class Huggingface {
|
|
|
14
14
|
}
|
|
15
15
|
async installed() {
|
|
16
16
|
if (this.kernel.bin.installed.conda.has("huggingface_hub")) {
|
|
17
|
-
console.log("> hugginface this.installed conda", this.kernel.bin.installed.conda)
|
|
18
|
-
console.log("> hugginface this.installed installed", this.kernel.bin.installed)
|
|
19
17
|
let version = this.kernel.bin.installed.conda_versions.huggingface_hub
|
|
20
18
|
if (version) {
|
|
21
19
|
let coerced = semver.coerce(version)
|
|
22
|
-
console.log("huggingface-cli version", coerced)
|
|
23
20
|
if (semver.satisfies(coerced, ">=1.0.1")) {
|
|
24
|
-
console.log("huggingface-cli version satisfied")
|
|
25
21
|
return true
|
|
26
22
|
}
|
|
27
23
|
}
|
package/kernel/bin/index.js
CHANGED
|
@@ -396,8 +396,6 @@ class Bin {
|
|
|
396
396
|
}
|
|
397
397
|
this.installed.conda = conda
|
|
398
398
|
this.installed.conda_versions = conda_versions
|
|
399
|
-
console.log("1 this.installed.conda", this.installed.conda)
|
|
400
|
-
console.log("1 this.installed.conda_versions", this.installed.conda_versions)
|
|
401
399
|
}
|
|
402
400
|
async refreshInstalled() {
|
|
403
401
|
|
|
@@ -817,7 +815,6 @@ class Bin {
|
|
|
817
815
|
// await this.init()
|
|
818
816
|
}
|
|
819
817
|
async check_installed(r, dependencies) {
|
|
820
|
-
console.log("check installed", r)
|
|
821
818
|
if (Array.isArray(r.name)) {
|
|
822
819
|
for(let name of r.name) {
|
|
823
820
|
let d = Date.now()
|
|
@@ -870,7 +867,6 @@ class Bin {
|
|
|
870
867
|
if (mod.installed) {
|
|
871
868
|
installed = await mod.installed()
|
|
872
869
|
}
|
|
873
|
-
console.log("_installed", { name, type, dependencies, installed })
|
|
874
870
|
return installed
|
|
875
871
|
}
|
|
876
872
|
}
|
package/kernel/shell.js
CHANGED
|
@@ -1165,7 +1165,11 @@ class Shell {
|
|
|
1165
1165
|
// console.log("KILL PTY", this.id)
|
|
1166
1166
|
if (this.ptyProcess) {
|
|
1167
1167
|
if (cb) {
|
|
1168
|
-
|
|
1168
|
+
try {
|
|
1169
|
+
kill(this.ptyProcess.pid, "SIGKILL", true)
|
|
1170
|
+
} catch (e) {
|
|
1171
|
+
console.log("kill", this.ptyProcess.pid, e)
|
|
1172
|
+
}
|
|
1169
1173
|
this.ptyProcess.kill()
|
|
1170
1174
|
this.ptyProcess = undefined
|
|
1171
1175
|
// automatically remove the shell from this.kernel.shells
|
|
@@ -1176,7 +1180,11 @@ class Shell {
|
|
|
1176
1180
|
}
|
|
1177
1181
|
cb()
|
|
1178
1182
|
} else {
|
|
1179
|
-
|
|
1183
|
+
try {
|
|
1184
|
+
kill(this.ptyProcess.pid, "SIGKILL", true)
|
|
1185
|
+
} catch (e) {
|
|
1186
|
+
console.log("kill", this.ptyProcess.pid, e)
|
|
1187
|
+
}
|
|
1180
1188
|
this.ptyProcess.kill()
|
|
1181
1189
|
this.ptyProcess = undefined
|
|
1182
1190
|
// automatically remove the shell from this.kernel.shells
|
package/package.json
CHANGED
package/server/index.js
CHANGED
|
@@ -3250,6 +3250,7 @@ class Server {
|
|
|
3250
3250
|
this.kernel.store.set("theme", config.theme)
|
|
3251
3251
|
//this.theme = config.theme
|
|
3252
3252
|
}
|
|
3253
|
+
console.log("THEME CHANGED", theme_changed)
|
|
3253
3254
|
// 2. Handle HOME
|
|
3254
3255
|
if (config.home) {
|
|
3255
3256
|
// set "new_home"
|
|
@@ -3334,7 +3335,9 @@ class Server {
|
|
|
3334
3335
|
this.kernel.store.set("NO_PROXY", config.NO_PROXY)
|
|
3335
3336
|
|
|
3336
3337
|
if (theme_changed) {
|
|
3338
|
+
console.log("> syncConfig")
|
|
3337
3339
|
await this.syncConfig()
|
|
3340
|
+
console.log("onrefresh", this.onrefresh)
|
|
3338
3341
|
if (this.onrefresh) {
|
|
3339
3342
|
try {
|
|
3340
3343
|
this.onrefresh({ theme: this.theme, colors: this.colors })
|
|
@@ -8205,6 +8208,7 @@ class Server {
|
|
|
8205
8208
|
|
|
8206
8209
|
this.app.post("/config", ex(async (req, res) => {
|
|
8207
8210
|
try {
|
|
8211
|
+
console.log("POST /config", req.body)
|
|
8208
8212
|
let message = await this.setConfig(req.body)
|
|
8209
8213
|
res.json({ success: true, message })
|
|
8210
8214
|
} catch (e) {
|