equal
deleted
inserted
replaced
104 ui.write_err('no revision to drop\n') |
104 ui.write_err('no revision to drop\n') |
105 return 1 |
105 return 1 |
106 # lock from the beginning to prevent race |
106 # lock from the beginning to prevent race |
107 wlock = lock = None |
107 wlock = lock = None |
108 try: |
108 try: |
109 lock = repo.wlock() |
109 wlock = repo.wlock() |
110 lock = repo.lock() |
110 lock = repo.lock() |
111 # check they have no children |
111 # check they have no children |
112 if repo.revs('%ld and public()', revs): |
112 if repo.revs('%ld and public()', revs): |
113 ui.write_err('cannot drop public revision') |
113 ui.write_err('cannot drop public revision') |
114 return 1 |
114 return 1 |