pinokiod 3.2.211 → 3.2.212

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/kernel/shell.js +3 -3
  2. package/package.json +1 -1
package/kernel/shell.js CHANGED
@@ -673,7 +673,7 @@ class Shell {
673
673
  if (env_exists) {
674
674
  venv_activation = [
675
675
  (this.platform === "win32" ? `${activate_path} ${env_path}` : `source ${activate_path} ${env_path}`),
676
- (this.platform === 'win32' ? `${timeout} /t 1 > nul` : 'sleep 1'),
676
+ timeout,
677
677
  ]
678
678
  } else {
679
679
  venv_activation = [
@@ -681,9 +681,9 @@ class Shell {
681
681
  (this.platform === "win32" ? `${activate_path} ${env_path}` : `source ${activate_path} ${env_path}`),
682
682
  `python -m pip install --upgrade pip setuptools wheel`,
683
683
  deactivate_path,
684
- (this.platform === 'win32' ? `${timeout} /t 1 > nul` : 'sleep 1'),
684
+ timeout,
685
685
  (this.platform === "win32" ? `${activate_path} ${env_path}` : `source ${activate_path} ${env_path}`),
686
- (this.platform === 'win32' ? `${timeout} /t 1 > nul` : 'sleep 1'),
686
+ timeout,
687
687
  ]
688
688
  }
689
689
  } else {
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "3.2.211",
3
+ "version": "3.2.212",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {