diff options
Diffstat (limited to 'pt')
| -rwxr-xr-x | pt | 8 |
1 files changed, 8 insertions, 0 deletions
| @@ -9,6 +9,8 @@ $data = {} | |||
| 9 | $horiz = {} | 9 | $horiz = {} |
| 10 | $maxtime = -1 | 10 | $maxtime = -1 |
| 11 | 11 | ||
| 12 | $stats = false | ||
| 13 | |||
| 12 | $stdin.each_line do | line | | 14 | $stdin.each_line do | line | |
| 13 | case line | 15 | case line |
| 14 | 16 | ||
| @@ -38,11 +40,17 @@ $stdin.each_line do | line | | |||
| 38 | end | 40 | end |
| 39 | $maxtime = [$maxtime, time+1].max | 41 | $maxtime = [$maxtime, time+1].max |
| 40 | 42 | ||
| 43 | when /^#\s*(.*)$/ | ||
| 44 | $stats = true | ||
| 45 | $stdout.write("#{$1}\n") | ||
| 46 | |||
| 41 | else | 47 | else |
| 42 | raise "Unexpected line: #{line}" | 48 | raise "Unexpected line: #{line}" |
| 43 | end | 49 | end |
| 44 | end | 50 | end |
| 45 | 51 | ||
| 52 | $stdout.write("\n") if $stats | ||
| 53 | |||
| 46 | $hier = {} | 54 | $hier = {} |
| 47 | $hier_direct = {} | 55 | $hier_direct = {} |
| 48 | 56 | ||
