Change resolution when playing svo file using zed-ros-wrapper?
I have various svo files recorded at 1080 but want to replay at 720 as that will be the resolution used with the live camera. Is there any means to have the zed-ros-wrapper replay at a lower resolution than it was recorded at?
I have tried setting the general/resolution parameter to no effect. I have also considered just downsampling the 1080 svo files down to 720 and then just playing my new 720 files with zed-ros-wrapper but although it is trivial to go from svo to avi or png I can't see any way to go the other way.