| changeset 9150 | 09a1ee498756 |
| parent 9125 | 8b58f53b9c35 |
| child 10263 | 25e572394f5c |
| 9149:abb7d4d43a5f | 9150:09a1ee498756 |
|---|---|
140 repo.addchangegroup(gen, 'strip', 'bundle:' + chgrpfile, True) |
140 repo.addchangegroup(gen, 'strip', 'bundle:' + chgrpfile, True) |
141 f.close() |
141 f.close() |
142 if backup != "strip": |
142 if backup != "strip": |
143 os.unlink(chgrpfile) |
143 os.unlink(chgrpfile) |
144 |
144 |
145 repo.destroyed() |