From 9d4c8df66fed6ac1c53c4841d99f1d4111a28325 Mon Sep 17 00:00:00 2001
From: Martin Weise <martin.weise@tuwien.ac.at>
Date: Thu, 7 Mar 2024 16:33:48 +0000
Subject: [PATCH] Default better

---
 .docs/scripts/extra.js | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/.docs/scripts/extra.js b/.docs/scripts/extra.js
index b5ae3d0a12..2360d0d2db 100644
--- a/.docs/scripts/extra.js
+++ b/.docs/scripts/extra.js
@@ -1,12 +1,11 @@
 function getVersion() {
     const segments = location.pathname.split('/');
-    if (segments.length > 4) {
+    if (segments.length > 4 && (segments[3].match(/[0-9]\.[0-9]\.[0-9]/g) || segments[3] == 'latest')) {
         console.debug('version', segments[3]);
         return segments[3];
-    } else {
-        console.debug('default version', '__APPVERSION__');
-        return '__APPVERSION__';
     }
+    console.debug('default version', '__APPVERSION__');
+    return '__APPVERSION__';
 }
 function switchVersion(value) {
     if (!value) { return }
-- 
GitLab