Chill-project/chill-bundles
6
0
Fork 0
mirror of https://gitlab.com/Chill-Projet/chill-bundles.git synced 2025-09-28 01:25:00 +00:00
Code Issues Actions Projects Releases Wiki Activity

Ajout de commentaires supplémentaires aux motifs

Browse Source
This commit is contained in:
Julien Fastré
2025-07-11 14:06:40 +00:00
parent 837089ff5d
commit 63d0a52ea1
392 changed files with 35466 additions and 24054 deletions
Download Patch File Download Diff File Expand all files Collapse all files

44
src/Bundle/ChillWopiBundle/src/Resources/public/module/pending/index.ts
View File

@@ -2,39 +2,39 @@ import { is_object_ready } from "ChillDocStoreAssets/vuejs/StoredObjectButton/he
import { StoredObject } from "ChillDocStoreAssets/types";
declare global {
interface Window {
stored_object: string | undefined;
}
interface Window {
stored_object: string | undefined;
}
}
async function reload_if_needed(
stored_object: StoredObject,
i: number,
stored_object: StoredObject,
i: number,
): Promise<void> {
const current_status = await is_object_ready(stored_object);
const current_status = await is_object_ready(stored_object);
if (stored_object.status !== current_status.status) {
window.location.reload();
}
wait_before_reload(stored_object, i + 1);
return Promise.resolve();
if (stored_object.status !== current_status.status) {
window.location.reload();
}
wait_before_reload(stored_object, i + 1);
return Promise.resolve();
}
function wait_before_reload(stored_object: StoredObject, i: number): void {
/**
* value of the timeout. Set to 5 sec during the first 10 minutes, then every 1 minute
*/
const timeout = i < 1200 ? 5000 : 60000;
/**
* value of the timeout. Set to 5 sec during the first 10 minutes, then every 1 minute
*/
const timeout = i < 1200 ? 5000 : 60000;
setTimeout(reload_if_needed, timeout, stored_object, i);
setTimeout(reload_if_needed, timeout, stored_object, i);
}
window.addEventListener("DOMContentLoaded", async function () {
if (undefined === window.stored_object) {
console.error("window.stored_object is undefined");
throw Error("window.stored_object is undefined");
}
if (undefined === window.stored_object) {
console.error("window.stored_object is undefined");
throw Error("window.stored_object is undefined");
}
const stored_object = JSON.parse(window.stored_object) as StoredObject;
reload_if_needed(stored_object, 0);
const stored_object = JSON.parse(window.stored_object) as StoredObject;
reload_if_needed(stored_object, 0);
});