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