changeset
complain if LDRAW_ORG line is missing
Sat, 22 Jun 2019 23:35:03 +0300
- author
- Teemu Piippo <teemu@hecknology.net>
- date
- Sat, 22 Jun 2019 23:35:03 +0300
- changeset 67
- afaa4d3bc3e5
- parent 66
- e28b249b4422
- child 68
- c19dd0d3248e
complain if LDRAW_ORG line is missing
| header.py | file | annotate | diff | comparison | revisions |
--- a/header.py Sat Jun 22 23:14:40 2019 +0300 +++ b/header.py Sat Jun 22 23:35:03 2019 +0300 @@ -159,6 +159,8 @@ result.cmdline = self.groups[0] else: self.parse_error("couldn't understand header syntax: " + repr(header_entry.text)) + if not result.filetype: + self.parse_error('LDRAW_ORG line is missing') return { 'header': result, 'end-index': self.cursor + 1,
