pinokiod 3.302.0 → 3.304.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 +1 -1
- package/server/public/common.js +6 -11
- package/server/views/index.ejs +3 -3
package/package.json
CHANGED
package/server/public/common.js
CHANGED
|
@@ -144,14 +144,9 @@ function ensureDevReady(existingLoader = null, label = 'initial', maxWaitMs = 15
|
|
|
144
144
|
resolve({ ready: true, closeModal: loader })
|
|
145
145
|
return;
|
|
146
146
|
}
|
|
147
|
-
|
|
148
|
-
|
|
149
|
-
|
|
150
|
-
createLauncherDebugLog('wait_ready dev bundle wait timeout', { elapsed, contextLabel });
|
|
151
|
-
resolve({ ready: false, closeModal: loader })
|
|
152
|
-
return;
|
|
153
|
-
}
|
|
154
|
-
setTimeout(() => attempt('retry'), 500);
|
|
147
|
+
createLauncherDebugLog('wait_ready dev bundle unavailable - resolving immediately', { contextLabel, data });
|
|
148
|
+
resolve({ ready: false, closeModal: ensureLoader() })
|
|
149
|
+
return;
|
|
155
150
|
})
|
|
156
151
|
};
|
|
157
152
|
attempt(label)
|
|
@@ -3450,10 +3445,10 @@ document.addEventListener("DOMContentLoaded", () => {
|
|
|
3450
3445
|
createLauncherDebugLog('guardCreateLauncher invoked', { defaults: Boolean(defaults) });
|
|
3451
3446
|
wait_ready().then(({ closeModal, ready }) => {
|
|
3452
3447
|
createLauncherDebugLog('guardCreateLauncher wait_ready resolved', { ready, closeModal: Boolean(closeModal) });
|
|
3453
|
-
if (closeModal) {
|
|
3454
|
-
closeModal()
|
|
3455
|
-
}
|
|
3456
3448
|
if (ready) {
|
|
3449
|
+
if (closeModal) {
|
|
3450
|
+
closeModal()
|
|
3451
|
+
}
|
|
3457
3452
|
createLauncherDebugLog('guardCreateLauncher proceeding to show modal', { defaults: Boolean(defaults) });
|
|
3458
3453
|
if (defaults) {
|
|
3459
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);
|