pinokiod 3.303.0 → 3.305.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/package.json
CHANGED
package/server/public/common.js
CHANGED
|
@@ -138,7 +138,7 @@ function ensureDevReady(existingLoader = null, label = 'initial', maxWaitMs = 15
|
|
|
138
138
|
setTimeout(() => attempt('retry'), 500);
|
|
139
139
|
return;
|
|
140
140
|
}
|
|
141
|
-
const available = !(data && data.available === false)
|
|
141
|
+
const available = !(data && data.available === false)
|
|
142
142
|
createLauncherDebugLog('wait_ready dev bundle availability (' + contextLabel + ')', available, data);
|
|
143
143
|
if (available) {
|
|
144
144
|
resolve({ ready: true, closeModal: loader })
|
|
@@ -3445,10 +3445,10 @@ document.addEventListener("DOMContentLoaded", () => {
|
|
|
3445
3445
|
createLauncherDebugLog('guardCreateLauncher invoked', { defaults: Boolean(defaults) });
|
|
3446
3446
|
wait_ready().then(({ closeModal, ready }) => {
|
|
3447
3447
|
createLauncherDebugLog('guardCreateLauncher wait_ready resolved', { ready, closeModal: Boolean(closeModal) });
|
|
3448
|
-
if (closeModal) {
|
|
3449
|
-
closeModal()
|
|
3450
|
-
}
|
|
3451
3448
|
if (ready) {
|
|
3449
|
+
if (closeModal) {
|
|
3450
|
+
closeModal()
|
|
3451
|
+
}
|
|
3452
3452
|
createLauncherDebugLog('guardCreateLauncher proceeding to show modal', { defaults: Boolean(defaults) });
|
|
3453
3453
|
if (defaults) {
|
|
3454
3454
|
api.showModal(defaults);
|
package/server/views/index.ejs
CHANGED
|
@@ -762,10 +762,10 @@ document.addEventListener("DOMContentLoaded", () => {
|
|
|
762
762
|
// Run wait_ready for every /home navigation so we only leave when requirements are satisfied
|
|
763
763
|
const guardNavigate = (href, options = {}) => {
|
|
764
764
|
wait_ready().then(({ closeModal, ready }) => {
|
|
765
|
-
if (closeModal) {
|
|
766
|
-
closeModal()
|
|
767
|
-
}
|
|
768
765
|
if (ready) {
|
|
766
|
+
if (closeModal) {
|
|
767
|
+
closeModal()
|
|
768
|
+
}
|
|
769
769
|
options?.replace ? location.replace(href) : location.assign(href);
|
|
770
770
|
} else {
|
|
771
771
|
const callback = encodeURIComponent(window.location.pathname + window.location.search + window.location.hash);
|