commit 7d095dd5f96c8f68593ba0e848e5e26bb3785e5d
author Nicolas Roard <nicolas@android.com> Tue May 11 15:46:00 2010 -0700
committer Ben Murdoch <benm@google.com> Mon Oct 18 13:07:06 2010 +0100
tree c3c15a4a635806802182cd56b88e5b816db1a785
parent 44b3c7e814ec1151cbbcfb1960b9a1d44d0359ac

fix the pause() problem...

DO NOT MERGE, cherry pick to Gingerbread from master.

Bug: 3101402
Change-Id: Ifbdab630badfffa12bc166ac20e804efba16436a

WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp

diff --git a/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp b/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp
index b066511..f3937bf 100644
--- a/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp
+++ b/WebKit/android/WebCoreSupport/MediaPlayerPrivateAndroid.cpp
@@ -332,6 +332,7 @@
         if (!m_glue->m_javaProxy)
             return;
 
+        m_paused = false;
         env->CallVoidMethod(m_glue->m_javaProxy, m_glue->m_play);
         checkException(env);
     }