Show More
@@ -151,6 +151,10 b' def split(stream):' | |||||
151 | # if we are here, we have a very plain patch |
|
151 | # if we are here, we have a very plain patch | |
152 | return remainder(cur) |
|
152 | return remainder(cur) | |
153 |
|
153 | |||
|
154 | ## Some facility for extensible patch parsing: | |||
|
155 | # list of pairs ("header to match", "data key") | |||
|
156 | patchheadermap = [] | |||
|
157 | ||||
154 | def extract(ui, fileobj): |
|
158 | def extract(ui, fileobj): | |
155 | '''extract patch from data read from fileobj. |
|
159 | '''extract patch from data read from fileobj. | |
156 |
|
160 | |||
@@ -238,7 +242,12 b' def extract(ui, fileobj):' | |||||
238 | data['nodeid'] = line[10:] |
|
242 | data['nodeid'] = line[10:] | |
239 | elif line.startswith("# Parent "): |
|
243 | elif line.startswith("# Parent "): | |
240 | parents.append(line[9:].lstrip()) |
|
244 | parents.append(line[9:].lstrip()) | |
241 |
elif |
|
245 | elif line.startswith("# "): | |
|
246 | for header, key in patchheadermap: | |||
|
247 | prefix = '# %s ' % header | |||
|
248 | if line.startswith(prefix): | |||
|
249 | data[key] = line[len(prefix):] | |||
|
250 | else: | |||
242 | hgpatchheader = False |
|
251 | hgpatchheader = False | |
243 | elif line == '---': |
|
252 | elif line == '---': | |
244 | ignoretext = True |
|
253 | ignoretext = True |
General Comments 0
You need to be logged in to leave comments.
Login now