changeset 264:f28288fb52a3

FIX: The "ms" regex group in the timestamps parser can exist as empty group also
author Franz Glasner <hg@dom66.de>
date Fri, 04 Jan 2019 15:41:11 +0100
parents 17df665bb309
children 519c2111bf40
files extensions/timestamps.py
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/extensions/timestamps.py	Fri Jan 04 10:46:22 2019 +0100
+++ b/extensions/timestamps.py	Fri Jan 04 15:41:11 2019 +0100
@@ -579,9 +579,12 @@
                    mo.group("minute"),
                    mo.group("second")]
         try:
-            dtparts.append(mo.group("ms"))
+            ms = mo.group("ms")
         except LookupError:
             pass   # no milliseconds
+        else:
+            if ms:
+                dtparts.append(ms)
         return datetime.datetime(*[int(d, 10) for d in dtparts])
     else:
         raise ValueError("invalid timestamp format in line %d" % lineno)