pinokiod 0.1.15 → 0.1.17

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/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "pinokiod",
3
- "version": "0.1.15",
3
+ "version": "0.1.17",
4
4
  "description": "",
5
5
  "main": "index.js",
6
6
  "scripts": {
package/server/index.js CHANGED
@@ -1282,7 +1282,7 @@ class Server {
1282
1282
  console.log("RUNNING MV")
1283
1283
  let mv_cmd
1284
1284
  if (this.kernel.platform === "win32") {
1285
- mv_cmd = `start /wait robocopy ${existing_home} ${new_home} /E /MOVE /NFL /NDL`
1285
+ mv_cmd = `start /wait (robocopy ${existing_home} ${new_home} /E /MOVE /NFL /NDL) ^& IF %ERRORLEVEL% LEQ 1 exit 0`
1286
1286
  } else {
1287
1287
  mv_cmd = `mv ${existing_home} ${new_home}`
1288
1288
  }
@@ -262,6 +262,8 @@ document.addEventListener("DOMContentLoaded", async () => {
262
262
  }).then((res) => {
263
263
  return res.json()
264
264
  })
265
+ document.querySelector(".loading").classList.add("hidden")
266
+ return
265
267
  if (r.success) {
266
268
  //alert("Successfully updated the pinokio home to " + val)
267
269
  fetch("/restart", {