From a6e6ffa207e7bd14f026ef0ea261d14473b18109 Mon Sep 17 00:00:00 2001
From: Hugo Villeneuve <hugo@hugovil.com>
Date: Thu, 5 Oct 2023 18:29:42 -0400
Subject: [PATCH] Temp: fix bug with get_frame_id for frame starting with
 digit(s)

---
 fgen.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fgen.sh b/fgen.sh
index a0c3800..05cbb1d 100755
--- a/fgen.sh
+++ b/fgen.sh
@@ -62,7 +62,7 @@ function get_label()
 # Arg1: line
 function get_frame_id()
 {
-    frame=$(echo "${1}" | grep -e "label:[0-9]" | ${SED} "s/label:\([0-9]\+\),.*/\1/g")
+    frame=$(echo "${1}" | grep -e "label:[0-9]\+," | ${SED} "s/label:\([0-9]\+\),.*/\1/g")
 
     if [ x"${frame}" = x"" ]; then
         echo ""
-- 
2.20.1