Let the snapshot-file parser parse empty T lines, since they are used to start a transition.

This commit is contained in:
Graydon Hoare 2011-05-16 15:14:44 -07:00
parent 3ea3d9eed6
commit d577f5bdf9

View file

@ -26,6 +26,8 @@ def parse_line(n, line):
if re.match(r"\s*$", line): return None
if re.match(r"^T\s*$", line): return None
match = re.match(r"\s+([\w_-]+) ([a-fA-F\d]{40})\s*$", line)
if match:
return { "type": "file",