diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 94d22b3c..3814a25a 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -414,6 +414,12 @@ class XmlManifest(object): | |||
| 414 | return self._manifest_server | 414 | return self._manifest_server |
| 415 | 415 | ||
| 416 | @property | 416 | @property |
| 417 | def CloneFilter(self): | ||
| 418 | if self.manifestProject.config.GetBoolean('repo.partialclone'): | ||
| 419 | return self.manifestProject.config.GetString('repo.clonefilter') | ||
| 420 | return None | ||
| 421 | |||
| 422 | @property | ||
| 417 | def IsMirror(self): | 423 | def IsMirror(self): |
| 418 | return self.manifestProject.config.GetBoolean('repo.mirror') | 424 | return self.manifestProject.config.GetBoolean('repo.mirror') |
| 419 | 425 | ||
