Dash-Industry-Forum/dash.js — pull request #233 by bbcrddave (2014-09-17 10:28:26+00:00)
Title: Fix issue 226 - explicitly update buffer after seek

When using MediaPlayer.seek() or setting HTMLMediaElement.currentTime, an explicit call to updateBuffer is required in the seek handler in case a progress or timeupdate event has not occurred recently which would have called it.

If the buffer level is not updated after the seek, getRequiredBufferLength continues to report the buffer level from the previous playback position and consequently BufferController.getRequiredFragmentCount returns zero (if the buffer was full), causing downloading to stop and play to stall.

The fault is intermittent because the required fragment count could be non-zero if the buffer level was not quite full.