diff options
author | Gary Bressler <garybressler@nc.rr.com> | 2010-04-06 12:50:06 -0400 |
---|---|---|
committer | Gary Bressler <garybressler@nc.rr.com> | 2010-04-06 12:50:06 -0400 |
commit | 38c18a7992a59774bfc281348c718c5f7db4c557 (patch) | |
tree | f81e160c8057b69ab5b6129ca336df5803397eb8 /unit_trace/progress.py | |
parent | c7e3aaebdba7bf880534abd91a383b5543cf0be4 (diff) | |
parent | aeb6d3b598528649e70bfa224a24136f677abf00 (diff) |
Merge branch 'master' of ssh://cvs.cs.unc.edu/cvs/proj/litmus/repo/unit-trace into wip-gary
Conflicts:
unit_trace/viz/draw.py
unit_trace/viz/schedule.py
unit_trace/viz/viewer.py
Diffstat (limited to 'unit_trace/progress.py')
-rw-r--r-- | unit_trace/progress.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unit_trace/progress.py b/unit_trace/progress.py index d987ecd..d0f0482 100644 --- a/unit_trace/progress.py +++ b/unit_trace/progress.py | |||
@@ -25,7 +25,7 @@ def progress(stream): | |||
25 | 25 | ||
26 | start_time = 0 | 26 | start_time = 0 |
27 | count = 0 | 27 | count = 0 |
28 | 28 | ||
29 | for record in stream: | 29 | for record in stream: |
30 | if record.record_type=="event": | 30 | if record.record_type=="event": |
31 | count += 1 | 31 | count += 1 |