equal
deleted
inserted
replaced
207 finally: |
207 finally: |
208 wlock.release() |
208 wlock.release() |
209 |
209 |
210 if opts.get('bookmark'): |
210 if opts.get('bookmark'): |
211 if mark == repo._bookmarkcurrent: |
211 if mark == repo._bookmarkcurrent: |
212 bookmarks.setcurrent(repo, None) |
212 bookmarks.unsetcurrent(repo) |
213 del marks[mark] |
213 del marks[mark] |
214 marks.write() |
214 marks.write() |
215 ui.write(_("bookmark '%s' deleted\n") % mark) |
215 ui.write(_("bookmark '%s' deleted\n") % mark) |
216 |
216 |
217 strip(ui, repo, revs, backup=backup, update=update, force=opts.get('force')) |
217 strip(ui, repo, revs, backup=backup, update=update, force=opts.get('force')) |