Show More
@@ -153,7 +153,9 b' def split(stream):' | |||||
153 |
|
153 | |||
154 | ## Some facility for extensible patch parsing: |
|
154 | ## Some facility for extensible patch parsing: | |
155 | # list of pairs ("header to match", "data key") |
|
155 | # list of pairs ("header to match", "data key") | |
156 |
patchheadermap = [('Date', 'date') |
|
156 | patchheadermap = [('Date', 'date'), | |
|
157 | ('Branch', 'branch'), | |||
|
158 | ] | |||
157 |
|
159 | |||
158 | def extract(ui, fileobj): |
|
160 | def extract(ui, fileobj): | |
159 | '''extract patch from data read from fileobj. |
|
161 | '''extract patch from data read from fileobj. | |
@@ -234,8 +236,6 b' def extract(ui, fileobj):' | |||||
234 | if line.startswith('# User '): |
|
236 | if line.startswith('# User '): | |
235 | data['user'] = line[7:] |
|
237 | data['user'] = line[7:] | |
236 | ui.debug('From: %s\n' % data['user']) |
|
238 | ui.debug('From: %s\n' % data['user']) | |
237 | elif line.startswith("# Branch "): |
|
|||
238 | data['branch'] = line[9:] |
|
|||
239 | elif line.startswith("# Node ID "): |
|
239 | elif line.startswith("# Node ID "): | |
240 | data['nodeid'] = line[10:] |
|
240 | data['nodeid'] = line[10:] | |
241 | elif line.startswith("# Parent "): |
|
241 | elif line.startswith("# Parent "): |
General Comments 0
You need to be logged in to leave comments.
Login now