handle dump files with extra UNITS or TIME info

2022-08-21 14:01:41 -04:00
parent 1f37087156
commit f18b96e517
2 changed files with 18 additions and 4 deletions
--- a/tools/python/pizza/log.py
+++ b/tools/python/pizza/log.py
@ -318,9 +318,9 @@ class log:
        last = 1                                      # entire read is a chunk
        s1 = 0
        if self.style == 1:
-          s2 = txt.rfind("\n--".encode('utf-8'),s1) + 1
+          s2 = txt.rfind("\n--",s1) + 1
        else:
-          s2 = txt.rfind("\n".encode('utf-8'),s1) + 1
+          s2 = txt.rfind("\n",s1) + 1
        eof -= len(txt) - s2
        if s1 == s2: break