Thanks to visit codestin.com
Credit goes to chromium.googlesource.com

blob: 21bfc448ae2b4a0c8b2ec4ede7d9285820365286 [file] [log] [blame]
Richo Healeyde3ea992015-01-15 08:23:461#!/usr/bin/env python
2import re
3import sys
Niko Matsakisf1afb0b2012-04-06 03:59:074
Richo Healeyde3ea992015-01-15 08:23:465indent = 0
6more_re = re.compile(r"^rust: ~\">>")
7less_re = re.compile(r"^rust: ~\"<<")
8while True:
9 line = sys.stdin.readline()
10 if not line:
11 break
Niko Matsakisf1afb0b2012-04-06 03:59:0712
Richo Healeyde3ea992015-01-15 08:23:4613 if more_re.match(line):
14 indent += 1
Niko Matsakis30d56382012-04-21 17:04:5815
Collin Anderson261d4d82017-11-16 17:39:2016 print("%03d %s%s" % (indent, " " * indent, line.strip()))
Richo Healeyde3ea992015-01-15 08:23:4617
18 if less_re.match(line):
19 indent -= 1