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