- Timestamp:
- 08/18/2026 06:47:58 PM (3 weeks ago)
- Branches:
- main
- Children:
- 847775c
- Parents:
- 85b51bf
- git-author:
- Bart <bart@…> (08/18/2026 04:37:05 AM)
- git-committer:
- Bart <bart@…> (08/18/2026 06:47:58 PM)
- File:
-
- 1 edited
-
src/views/shell.ejs (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/views/shell.ejs
r85b51bf r87696ce 496 496 window.__modBoot = true; 497 497 498 // ?v=N — cache-buster voor ALLE modules in assets/js/mod, net als bij 499 // audio-player.js hierboven. BUMP BIJ ELKE WIJZIGING IN DIE MAP. Zonder 500 // query staat /assets op max-age=1y, en dan blijft een browser die de 501 // pagina eerder bezocht een jaar lang de oude module draaien: een 502 // reparatie bereikt precies de bezoekers die hem al hebben. 503 // Eén nummer voor de hele map. Te vaak bumpen kost één download; te weinig 504 // bumpen kost een bugfix die nooit aankomt. 505 var MOD_V = 1; 506 498 507 // name -> 1 (aan het laden) of de module-namespace (geladen). Een module 499 508 // die `init` exporteert draait die bij ELKE paginawissel waarop hij actief … … 514 523 if (loaded[name]) { start(name, loaded[name]); return; } 515 524 loaded[name] = 1; 516 import('/assets/js/mod/' + name + '.js ').then(function (m) {525 import('/assets/js/mod/' + name + '.js?v=' + MOD_V).then(function (m) { 517 526 loaded[name] = m; 518 527 start(name, m);
Note:
See TracChangeset
for help on using the changeset viewer.
![(please configure the [header_logo] section in trac.ini)](/chrome/site/your_project_logo.png)