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: |