From 4e4862ef0592fa01a972aa74e7ffb3a16dd147dd Mon Sep 17 00:00:00 2001
From: David Frantz <david.frantz@uni-trier.de>
Date: Tue, 10 Dec 2024 08:48:51 +0100
Subject: [PATCH] protect from comment and trailing whitespace characters

---
 bash/force-level2.sh   | 3 ++-
 misc/force-version.txt | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/bash/force-level2.sh b/bash/force-level2.sh
index c1ac9a26..6950380e 100755
--- a/bash/force-level2.sh
+++ b/bash/force-level2.sh
@@ -86,7 +86,8 @@ function get_parameter(){
     exit 1
   else
     VALUE=$(echo "$LINE" | sed 's/.* *= *//g')
-    VALUE=$(echo "$VALUE" | sed 's/ *$//g')
+    VALUE=$(echo "$VALUE" | sed 's/#.*//g')
+    VALUE=$(echo "$VALUE" | sed 's/[[:space:]]*$//g')
   fi
 
   echo "$VALUE"
diff --git a/misc/force-version.txt b/misc/force-version.txt
index 68922728..0a36eda3 100644
--- a/misc/force-version.txt
+++ b/misc/force-version.txt
@@ -1 +1 @@
-3.7.12-dev:::2024-11-28_11:43:39
+3.7.12-dev:::2024-12-10_07:48:51