Merge pull request #1499 from zauberzeug/search_index

Website: ensure search_index.json is not cached between versions
zauberzeug · Aug 28, 2023 · d7fe1c1 · d7fe1c1
2 parents 507314f + f4f012c
commit d7fe1c1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/website/search.py b/website/search.py
@@ -1,4 +1,4 @@
-from nicegui import background_tasks, events, ui
+from nicegui import __version__, background_tasks, events, ui
 
 
 class Search:
@@ -7,7 +7,7 @@ def __init__(self) -> None:
         ui.add_head_html(r'''
             <script>
             async function loadSearchData() {
-                const response = await fetch("/static/search_index.json");
+                const response = await fetch("/static/search_index.json?version=''' + __version__ + r'''");
                 if (!response.ok) {
                     throw new Error(`HTTP error! status: ${response.status}`);
                 }