diff options
| author | Ben Murdoch <benm@google.com> | 2010-12-09 15:47:50 +0000 |
|---|---|---|
| committer | Ben Murdoch <benm@google.com> | 2010-12-09 16:20:26 +0000 |
| commit | 9059f44feedbbde4f486c9448b4818ba54f50538 (patch) | |
| tree | 71c030c125e698b173719112341a35db46ebccde /core/java/android/webkit/HTML5Audio.java | |
| parent | 3f98f7bd53d90a48c1a927c439649f921208a7c3 (diff) | |
| download | frameworks_base-9059f44feedbbde4f486c9448b4818ba54f50538.zip frameworks_base-9059f44feedbbde4f486c9448b4818ba54f50538.tar.gz frameworks_base-9059f44feedbbde4f486c9448b4818ba54f50538.tar.bz2 | |
Make audio tag cope with live streams
Live streams seem to take a little while to initialize, so it's feasible
that we might get a play request before transitioned to the PREPARED
state. In that case track that we should start playing when onPrepare
completes.
Change-Id: I66ed0ef3a0905a1c5d4206fb2e7bbcc05a593fc7
Diffstat (limited to 'core/java/android/webkit/HTML5Audio.java')
| -rw-r--r-- | core/java/android/webkit/HTML5Audio.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/core/java/android/webkit/HTML5Audio.java b/core/java/android/webkit/HTML5Audio.java index d292881..a3906ddb 100644 --- a/core/java/android/webkit/HTML5Audio.java +++ b/core/java/android/webkit/HTML5Audio.java @@ -179,7 +179,7 @@ class HTML5Audio extends Handler } private void play() { - if ((mState == ERROR || mState == IDLE) && mUrl != null) { + if ((mState >= ERROR && mState < PREPARED) && mUrl != null) { resetMediaPlayer(); setDataSource(mUrl); mAskToPlay = true; |