Merge pull request #608 from khaledhosny/file-attribute

Check for file attribute before deleting it
This commit is contained in:
Behdad Esfahbod 2016-05-19 20:01:06 +01:00
commit 84d34353e3

View File

@ -2251,7 +2251,8 @@ def prune_post_subset(self, options):
local_subrs = subrs
subrs.items = [subrs.items[i] for i in subrs._used]
del subrs.file
if hasattr(subrs, 'file'):
del subrs.file
if hasattr(subrs, 'offsets'):
del subrs.offsets