in src/rosbridge/timeseq.py [0:0]
def close_chunk(self, channel_name):
f = self.files_by_channel.get(channel_name, None)
if f is not None:
f.write('],"times":')
ujson.dump(self.times_by_channel[channel_name], f)
f.write('}')
f.close()
self.files_by_channel[channel_name] = None
self.chunks_by_channel[channel_name] = -1
self.times_by_channel[channel_name] = []