diff options
Diffstat (limited to 'project.py')
| -rw-r--r-- | project.py | 7 |
1 files changed, 4 insertions, 3 deletions
| @@ -1583,8 +1583,6 @@ class Project(object): | |||
| 1583 | 1583 | ||
| 1584 | if kill: | 1584 | if kill: |
| 1585 | old = self.bare_git.GetHead() | 1585 | old = self.bare_git.GetHead() |
| 1586 | if old is None: | ||
| 1587 | old = 'refs/heads/please_never_use_this_as_a_branch_name' | ||
| 1588 | 1586 | ||
| 1589 | try: | 1587 | try: |
| 1590 | self.bare_git.DetachHead(rev) | 1588 | self.bare_git.DetachHead(rev) |
| @@ -1596,7 +1594,10 @@ class Project(object): | |||
| 1596 | capture_stderr=True) | 1594 | capture_stderr=True) |
| 1597 | b.Wait() | 1595 | b.Wait() |
| 1598 | finally: | 1596 | finally: |
| 1599 | self.bare_git.SetHead(old) | 1597 | if ID_RE.match(old): |
| 1598 | self.bare_git.DetachHead(old) | ||
| 1599 | else: | ||
| 1600 | self.bare_git.SetHead(old) | ||
| 1600 | left = self._allrefs | 1601 | left = self._allrefs |
| 1601 | 1602 | ||
| 1602 | for branch in kill: | 1603 | for branch in kill: |
