715
720
if (e.args[0].startswith('Directory not empty: ')
716
721
or getattr(e, 'errno', None) == errno.ENOTEMPTY):
717
722
raise errors.DirectoryNotEmpty(path, str(e))
718
725
mutter('Raising exception with args %s', e.args)
719
726
if getattr(e, 'errno', None) is not None:
720
727
mutter('Raising exception with errno %s', e.errno)