arpg/HAL — pull request #8 by dorian3d (2014-05-22 15:16:40+00:00)
Title: Camera FileReader driver reads timestamps from filenames

The camera FileReader driver tries to parse a timestamp from the
filenames read. If possible, it is set to the corresponding
pb::ImageMsg. Otherwise, the frame number is used (current
behavior).