equal
deleted
inserted
replaced
81 s = l.split('#', 1)[0].strip() |
81 s = l.split('#', 1)[0].strip() |
82 if s: |
82 if s: |
83 self.series.append(s) |
83 self.series.append(s) |
84 |
84 |
85 def save_dirty(self): |
85 def save_dirty(self): |
86 if self.applied_dirty: |
86 def write_list(items, path): |
87 if len(self.applied) > 0: |
87 fp = self.opener(path, 'w') |
88 nl = "\n" |
88 for i in items: |
89 else: |
89 print >> fp, i |
90 nl = "" |
90 fp.close() |
91 f = self.opener(self.status_path, "w") |
91 if self.applied_dirty: write_list(self.applied, self.status_path) |
92 f.write("\n".join(self.applied) + nl) |
92 if self.series_dirty: write_list(self.full_series, self.series_path) |
93 if self.series_dirty: |
|
94 if len(self.full_series) > 0: |
|
95 nl = "\n" |
|
96 else: |
|
97 nl = "" |
|
98 f = self.opener(self.series_path, "w") |
|
99 f.write("\n".join(self.full_series) + nl) |
|
100 |
93 |
101 def readheaders(self, patch): |
94 def readheaders(self, patch): |
102 def eatdiff(lines): |
95 def eatdiff(lines): |
103 while lines: |
96 while lines: |
104 l = lines[-1] |
97 l = lines[-1] |