You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I see in the Statistics record there are information about per channel message count and global start/end time. In some use cases it could be interesting to see the start/end time of specific channels. It seems like there's no backward compatible way to add this into the file format? Am I right in that assessment?
A workaround could be adding the start/end time in the Channel metadata. This would require encoding the start/end time as a string. Standardizing on a naming scheme could be good and tools like mcap merge could automatically generate this data.
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
Uh oh!
There was an error while loading. Please reload this page.
I see in the Statistics record there are information about per channel message count and global start/end time. In some use cases it could be interesting to see the start/end time of specific channels. It seems like there's no backward compatible way to add this into the file format? Am I right in that assessment?
A workaround could be adding the start/end time in the Channel metadata. This would require encoding the start/end time as a string. Standardizing on a naming scheme could be good and tools like mcap merge could automatically generate this data.
Thoughts on the idea?
All reactions