Temp: fix bug with get_frame_id for frame starting with digit(s)

diff --git a/fgen.sh b/fgen.sh
index a0c3800..05cbb1d 100755 (executable)
--- 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 ""