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