equal
deleted
inserted
replaced
206 def setparents(self, p1, p2=nullid): |
206 def setparents(self, p1, p2=nullid): |
207 self._dirty = self._dirtypl = True |
207 self._dirty = self._dirtypl = True |
208 self._pl = p1, p2 |
208 self._pl = p1, p2 |
209 |
209 |
210 def setbranch(self, branch): |
210 def setbranch(self, branch): |
|
211 if branch in ['tip', '.', 'null']: |
|
212 raise util.Abort(_('the name \'%s\' is reserved') % branch) |
211 self._branch = branch |
213 self._branch = branch |
212 self._opener("branch", "w").write(branch + '\n') |
214 self._opener("branch", "w").write(branch + '\n') |
213 |
215 |
214 def _read(self): |
216 def _read(self): |
215 self._map = {} |
217 self._map = {} |