pinokiod 3.256.0 → 3.258.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.
@@ -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
  }
@@ -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
- kill(this.ptyProcess.pid, "SIGKILL", true)
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
- kill(this.ptyProcess.pid, "SIGKILL", true)
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
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.256.0",
3
+ "version": "3.258.0",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
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) {