diff options
-rw-r--r-- | project.py | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -1698,6 +1698,11 @@ class Project(object): | |||
1698 | if cb is None or name != cb: | 1698 | if cb is None or name != cb: |
1699 | kill.append(name) | 1699 | kill.append(name) |
1700 | 1700 | ||
1701 | # Minor optimization: If there's nothing to prune, then don't try to read | ||
1702 | # any project state. | ||
1703 | if not kill and not cb: | ||
1704 | return [] | ||
1705 | |||
1701 | rev = self.GetRevisionId(left) | 1706 | rev = self.GetRevisionId(left) |
1702 | if cb is not None \ | 1707 | if cb is not None \ |
1703 | and not self._revlist(HEAD + '...' + rev) \ | 1708 | and not self._revlist(HEAD + '...' + rev) \ |