Merge pull request #1499 from zauberzeug/search_index

Website: ensure search_index.json is not cached between versions

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 @@ class Search:
         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}`);
                 }