diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 9189eec4..c9e5c405 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -228,7 +228,11 @@ class XmlManifest(object): | |||
| 228 | @property | 228 | @property |
| 229 | def manifest_server(self): | 229 | def manifest_server(self): |
| 230 | self._Load() | 230 | self._Load() |
| 231 | return self._manifest_server | 231 | |
| 232 | if self._manifest_server: | ||
| 233 | return self._manifest_server | ||
| 234 | |||
| 235 | return self.manifestProject.config.GetString('repo.manifest-server') | ||
| 232 | 236 | ||
| 233 | @property | 237 | @property |
| 234 | def IsMirror(self): | 238 | def IsMirror(self): |
