Index: webkit/glue/webmediaplayer_impl.cc |
diff --git a/webkit/glue/webmediaplayer_impl.cc b/webkit/glue/webmediaplayer_impl.cc |
index 76a99093b2c8c518153216cc69a39ab826d2bde8..ba3eedb608d899c6baa0caa2bc969742e0595766 100644 |
--- a/webkit/glue/webmediaplayer_impl.cc |
+++ b/webkit/glue/webmediaplayer_impl.cc |
@@ -841,6 +841,8 @@ void WebMediaPlayerImpl::sourceEndOfStream( |
media::PipelineStatus pipeline_status = media::PIPELINE_OK; |
switch(status) { |
+ case WebKit::WebMediaPlayer::EosNoError: |
+ break; |
case WebKit::WebMediaPlayer::EosNetworkError: |
pipeline_status = media::PIPELINE_ERROR_NETWORK; |
break; |
@@ -925,11 +927,14 @@ void WebMediaPlayerImpl::OnPipelineError(PipelineStatus error) { |
LOG(DFATAL) << "PIPELINE_OK isn't an error!"; |
break; |
+ case media::PIPELINE_ERROR_NETWORK: |
+ SetNetworkState(WebMediaPlayer::NetworkError); |
+ break; |
+ |
case media::PIPELINE_ERROR_INITIALIZATION_FAILED: |
case media::PIPELINE_ERROR_REQUIRED_FILTER_MISSING: |
case media::PIPELINE_ERROR_COULD_NOT_RENDER: |
case media::PIPELINE_ERROR_URL_NOT_FOUND: |
- case media::PIPELINE_ERROR_NETWORK: |
case media::PIPELINE_ERROR_READ: |
case media::DEMUXER_ERROR_COULD_NOT_OPEN: |
case media::DEMUXER_ERROR_COULD_NOT_PARSE: |