equal
deleted
inserted
replaced
143 if not self.updateheader(['From: ', '# User '], user): |
143 if not self.updateheader(['From: ', '# User '], user): |
144 try: |
144 try: |
145 patchheaderat = self.comments.index('# HG changeset patch') |
145 patchheaderat = self.comments.index('# HG changeset patch') |
146 self.comments.insert(patchheaderat + 1, '# User ' + user) |
146 self.comments.insert(patchheaderat + 1, '# User ' + user) |
147 except ValueError: |
147 except ValueError: |
148 self.comments = ['From: ' + user, ''] + self.comments |
148 if self._hasheader(['Date: ']): |
|
149 self.comments = ['From: ' + user] + self.comments |
|
150 else: |
|
151 tmp = ['# HG changeset patch', '# User ' + user, ''] |
|
152 self.comments = tmp + self.comments |
149 self.user = user |
153 self.user = user |
150 |
154 |
151 def setdate(self, date): |
155 def setdate(self, date): |
152 if self.updateheader(['# Date '], date): |
156 if self.updateheader(['# Date '], date): |
153 self.date = date |
157 self.date = date |