summaryrefslogtreecommitdiff
path: root/pt
diff options
context:
space:
mode:
Diffstat (limited to 'pt')
-rwxr-xr-xpt8
1 files changed, 8 insertions, 0 deletions
diff --git a/pt b/pt
index 489a13a..206795f 100755
--- a/pt
+++ b/pt
@@ -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
44end 50end
45 51
52$stdout.write("\n") if $stats
53
46$hier = {} 54$hier = {}
47$hier_direct = {} 55$hier_direct = {}
48 56