equal
deleted
inserted
replaced
110 if m: |
110 if m: |
111 name, value = m.groups() |
111 name, value = m.groups() |
112 value = value.replace(r'\"', '"') |
112 value = value.replace(r'\"', '"') |
113 value = value.replace(r'\\', '\\') |
113 value = value.replace(r'\\', '\\') |
114 certs[name] = value |
114 certs[name] = value |
|
115 # Monotone may have subsecond dates: 2005-02-05T09:39:12.364306 |
|
116 certs["date"] = certs["date"].split('.')[0] |
115 return certs |
117 return certs |
116 |
118 |
117 # implement the converter_source interface: |
119 # implement the converter_source interface: |
118 |
120 |
119 def getheads(self): |
121 def getheads(self): |