From: Andrei Popescu <andreip@google.com>
Date: Mon, 26 Oct 2009 15:21:19 +0000 (+0000)
Subject: Enable the dispatching of the 'ended' media event.
X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=3a8abed5e539483f33e78a8be2e2dbbba3c4f664;p=android-x86%2Fexternal-webkit.git

Enable the dispatching of the 'ended' media event.

Partial fix for http://b/issue?id=2210105
---

diff --git a/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp b/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp
index 6c9ea496a..5860bd2bb 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;