diff options
Diffstat (limited to 'manifest_xml.py')
| -rw-r--r-- | manifest_xml.py | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/manifest_xml.py b/manifest_xml.py index 0e6421f1..a0252057 100644 --- a/manifest_xml.py +++ b/manifest_xml.py | |||
| @@ -29,6 +29,7 @@ class _Default(object): | |||
| 29 | 29 | ||
| 30 | revisionExpr = None | 30 | revisionExpr = None |
| 31 | remote = None | 31 | remote = None |
| 32 | sync_j = 1 | ||
| 32 | 33 | ||
| 33 | class _XmlRemote(object): | 34 | class _XmlRemote(object): |
| 34 | def __init__(self, | 35 | def __init__(self, |
| @@ -133,6 +134,9 @@ class XmlManifest(object): | |||
| 133 | if d.revisionExpr: | 134 | if d.revisionExpr: |
| 134 | have_default = True | 135 | have_default = True |
| 135 | e.setAttribute('revision', d.revisionExpr) | 136 | e.setAttribute('revision', d.revisionExpr) |
| 137 | if d.sync_j > 1: | ||
| 138 | have_default = True | ||
| 139 | e.setAttribute('sync-j', '%d' % d.sync_j) | ||
| 136 | if have_default: | 140 | if have_default: |
| 137 | root.appendChild(e) | 141 | root.appendChild(e) |
| 138 | root.appendChild(doc.createTextNode('')) | 142 | root.appendChild(doc.createTextNode('')) |
| @@ -401,6 +405,11 @@ class XmlManifest(object): | |||
| 401 | d.revisionExpr = node.getAttribute('revision') | 405 | d.revisionExpr = node.getAttribute('revision') |
| 402 | if d.revisionExpr == '': | 406 | if d.revisionExpr == '': |
| 403 | d.revisionExpr = None | 407 | d.revisionExpr = None |
| 408 | sync_j = node.getAttribute('sync-j') | ||
| 409 | if sync_j == '' or sync_j is None: | ||
| 410 | d.sync_j = 1 | ||
| 411 | else: | ||
| 412 | d.sync_j = int(sync_j) | ||
| 404 | return d | 413 | return d |
| 405 | 414 | ||
| 406 | def _ParseNotice(self, node): | 415 | def _ParseNotice(self, node): |
