diff options
author | Andrei Popescu <andreip@google.com> | 2009-10-26 15:21:19 +0000 |
---|---|---|
committer | Andrei Popescu <andreip@google.com> | 2009-10-26 15:21:19 +0000 |
commit | 3a8abed5e539483f33e78a8be2e2dbbba3c4f664 (patch) | |
tree | 08e9dbee513c28896b4314c9978c774653a6d7e5 | |
parent | 7160f16bdcd50dec1aa684e0e1753427057fb218 (diff) | |
download | external_webkit-3a8abed5e539483f33e78a8be2e2dbbba3c4f664.zip external_webkit-3a8abed5e539483f33e78a8be2e2dbbba3c4f664.tar.gz external_webkit-3a8abed5e539483f33e78a8be2e2dbbba3c4f664.tar.bz2 |
Enable the dispatching of the 'ended' media event.
Partial fix for http://b/issue?id=2210105
-rw-r--r-- | WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp b/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp index 6c9ea49..5860bd2 100644 --- a/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp +++ b/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp @@ -357,6 +357,8 @@ void MediaPlayerPrivate::onPrepared(int duration, int width, int height) { } void MediaPlayerPrivate::onEnded() { + m_currentTime = duration(); + m_player->timeChanged(); m_paused = true; m_currentTime = 0; m_networkState = MediaPlayer::Idle; |