Make dummy files with at least a slightly more accurate video frame rate.

diff --git a/hacks/make_dummy_files b/hacks/make_dummy_files
index 21cb1fd587f8fe7f7fbaba588be4938936005b19..4d19c846cc29ef3f92850fd984bcbbb328505d66 100755 (executable)
--- a/hacks/make_dummy_files
+++ b/hacks/make_dummy_files
@@ -98,7 +98,7 @@ for c in root.find('Playlist').findall('Content'):
         if c.find('VideoFrameRate') is not None:
             video_frame_rate = float(c.find('VideoFrameRate').text)
             video_length = int(c.find('VideoLength').text)
-            video_cmd = '-s qcif -f rawvideo -pix_fmt rgb24 -r %d -i /dev/zero' % video_frame_rate
+            video_cmd = '-s qcif -f rawvideo -pix_fmt rgb24 -r %f -i /dev/zero' % video_frame_rate
         if c.find('AudioStream') is not None:
             audio_channels = int(c.find('AudioStream').find('Mapping').find('InputChannels').text)
             audio_frame_rate = int(c.find('AudioStream').find('FrameRate').text)