832 for extension in mapping[2:]: |
832 for extension in mapping[2:]: |
833 extension_map.setdefault(extension, []).append(mapping[:2]) |
833 extension_map.setdefault(extension, []).append(mapping[:2]) |
834 |
834 |
835 magic_encoding_map = {} |
835 magic_encoding_map = {} |
836 for mapping in (('bzip2', 'bzip2 compressed'), |
836 for mapping in (('bzip2', 'bzip2 compressed'), |
837 ('gzip', 'gzip compressed')): |
837 ('gzip', 'gzip compressed'), |
|
838 ('lzma', 'LZMA compressed')): |
838 for pattern in mapping[1:]: |
839 for pattern in mapping[1:]: |
839 magic_encoding_map[re.compile(pattern)] = mapping[0] |
840 magic_encoding_map[re.compile(pattern)] = mapping[0] |
840 |
841 |
841 def __init__(self, filename, options): |
842 def __init__(self, filename, options): |
842 self.filename = filename |
843 self.filename = filename |