IssueID #1487: fixed regexp

master
Cyprian Laskowski 4 years ago
parent 80e5055729
commit 3761f8b253

@ -29,7 +29,7 @@ for line in input_file:
if (line[0].isdigit()):
output_map['tokens'].append(line.strip())
else:
match = re.search('^# (.+) = (.+)$', line)
match = re.search('^# (.+?) = (.+)$', line)
if (match):
(name, value) = match.groups()
if (name == 'newpar id'):

Loading…
Cancel
Save