changeset 10595 | c7a090052e5f |
parent 10589 | 7c23b7de2b8d |
child 10602 | 4845012cfc8e |
--- a/devtools/__init__.py Tue Sep 15 15:10:59 2015 +0200 +++ b/devtools/__init__.py Mon Sep 14 11:16:10 2015 +0200 @@ -842,7 +842,7 @@ except Exception: # DateTime used as Time? row[cellindex] = strptime(value, '%Y-%m-%d %H:%M:%S') - if vtype == 'Interval' and type(value) is int: + if vtype == 'Interval' and isinstance(value, int): found_date = True row[cellindex] = timedelta(0, value, 0) # XXX value is in number of seconds? if not found_date: