diff options
Diffstat (limited to 'unit_trace/trace_reader.py')
-rw-r--r-- | unit_trace/trace_reader.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/unit_trace/trace_reader.py b/unit_trace/trace_reader.py index 3cbce17..5cfbbe3 100644 --- a/unit_trace/trace_reader.py +++ b/unit_trace/trace_reader.py | |||
@@ -75,6 +75,9 @@ def trace_reader(files): | |||
75 | # fatally if they are not. | 75 | # fatally if they are not. |
76 | last_time = None | 76 | last_time = None |
77 | 77 | ||
78 | # We want to give records ID numbers so users can filter by ID | ||
79 | id = 0 | ||
80 | |||
78 | # Keep pulling records as long as we have a buffer | 81 | # Keep pulling records as long as we have a buffer |
79 | while len(file_iter_buff) > 0: | 82 | while len(file_iter_buff) > 0: |
80 | 83 | ||
@@ -109,6 +112,10 @@ def trace_reader(files): | |||
109 | else: | 112 | else: |
110 | last_time = earliest.when | 113 | last_time = earliest.when |
111 | 114 | ||
115 | # Give the record an id number | ||
116 | id += 1 | ||
117 | earliest.id = id | ||
118 | |||
112 | # Yield the record | 119 | # Yield the record |
113 | yield earliest | 120 | yield earliest |
114 | 121 | ||