andreasgal/j2me.js — pull request #765 by yxl (2014-12-20 15:13:45+00:00)
Title: Audio replay

This pull request implements nSetMediaTime to allow rewinding audio to the beginning after it reaches the end. So that we could play an audio more than once.

It also fix a bug regarding END_OF_MEDIA event.
When the audio reaches the end and sends END_OF_MEDIA event, BasicPlayer should change the player state from STARTED to PREFECHED and mark the player as stopped. But a VM bug (which will be fixed later) makes BasicPlayer's Event handling thread fail to check the END_OF_MEDIA event and BasicPlayer couldn't set correct state as stopped. I patched BasicPlayer temporarily to fix this bug.