equal
deleted
inserted
replaced
87 def end(self): |
87 def end(self): |
88 baseformatter.end(self) |
88 baseformatter.end(self) |
89 self._ui.write(cPickle.dumps(self._data)) |
89 self._ui.write(cPickle.dumps(self._data)) |
90 |
90 |
91 def _jsonifyobj(v): |
91 def _jsonifyobj(v): |
92 if isinstance(v, int): |
92 if isinstance(v, tuple): |
|
93 return '[' + ', '.join(_jsonifyobj(e) for e in v) + ']' |
|
94 elif isinstance(v, int): |
93 return '%d' % v |
95 return '%d' % v |
94 else: |
96 else: |
95 return '"%s"' % encoding.jsonescape(v) |
97 return '"%s"' % encoding.jsonescape(v) |
96 |
98 |
97 class jsonformatter(baseformatter): |
99 class jsonformatter(baseformatter): |