changeset 1247 | 7a70dafbf4b9 |
parent 1241 | 3b4f05ff3130 |
child 1249 | a5355fa5e33a |
--- a/mercurial/commands.py Wed Sep 14 12:22:20 2005 -0500 +++ b/mercurial/commands.py Wed Sep 14 10:50:03 2005 -0700 @@ -1313,6 +1313,11 @@ if okaytoremove(abs, rel, exact): if not exact: ui.status('removing %s\n' % rel) names.append(abs) + for name in names: + try: + os.unlink(name) + except OSError, inst: + if inst.errno != errno.ENOENT: raise repo.remove(names) def revert(ui, repo, *names, **opts):