diff options
| author | jvoisin | 2018-05-16 00:08:45 +0200 |
|---|---|---|
| committer | jvoisin | 2018-05-16 00:08:45 +0200 |
| commit | 7afff93e9c5f04b72725c0008cbf5657a0497be0 (patch) | |
| tree | 45e9c05843b725a2e38aa1179ba14432a54b1841 | |
| parent | be6d32afa830fd5b4e7dee5b649c83523a59e04d (diff) | |
Fix the build
| -rw-r--r-- | src/parser_factory.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/parser_factory.py b/src/parser_factory.py index b403eb7..a2ff384 100644 --- a/src/parser_factory.py +++ b/src/parser_factory.py | |||
| @@ -30,11 +30,12 @@ def get_parser(filename: str) -> (T, str): | |||
| 30 | # A set of extension that aren't supported, despite matching a known mimetype | 30 | # A set of extension that aren't supported, despite matching a known mimetype |
| 31 | unknown_extensions = set(['bat', 'c', 'h', 'ksh', 'pl', 'txt', 'asc', | 31 | unknown_extensions = set(['bat', 'c', 'h', 'ksh', 'pl', 'txt', 'asc', |
| 32 | 'text', 'pot', 'brf', 'srt', 'rdf', 'wsdl', 'xpdl', 'xsl', 'xsd']) | 32 | 'text', 'pot', 'brf', 'srt', 'rdf', 'wsdl', 'xpdl', 'xsl', 'xsd']) |
| 33 | mtype, _ = mimetypes.guess_type(filename) | ||
| 34 | |||
| 33 | _, extension = os.path.splitext(filename) | 35 | _, extension = os.path.splitext(filename) |
| 34 | if extension in unknown_extensions: | 36 | if extension in unknown_extensions: |
| 35 | return None, mtype | 37 | return None, mtype |
| 36 | 38 | ||
| 37 | mtype, _ = mimetypes.guess_type(filename) | ||
| 38 | for c in _get_parsers(): | 39 | for c in _get_parsers(): |
| 39 | if mtype in c.mimetypes: | 40 | if mtype in c.mimetypes: |
| 40 | try: | 41 | try: |
