equal
deleted
inserted
replaced
59 repair.strip(ui, repo, revs, backup) |
59 repair.strip(ui, repo, revs, backup) |
60 |
60 |
61 marks = repo._bookmarks |
61 marks = repo._bookmarks |
62 if bookmark: |
62 if bookmark: |
63 if bookmark == repo._bookmarkcurrent: |
63 if bookmark == repo._bookmarkcurrent: |
64 bookmarks.unsetcurrent(repo) |
64 bookmarks.deactivate(repo) |
65 del marks[bookmark] |
65 del marks[bookmark] |
66 marks.write() |
66 marks.write() |
67 ui.write(_("bookmark '%s' deleted\n") % bookmark) |
67 ui.write(_("bookmark '%s' deleted\n") % bookmark) |
68 finally: |
68 finally: |
69 release(lock, wlock) |
69 release(lock, wlock) |