| Index: content/renderer/media/webmediaplayer_impl.cc
|
| diff --git a/content/renderer/media/webmediaplayer_impl.cc b/content/renderer/media/webmediaplayer_impl.cc
|
| index cbc29e6df5a1127882e9698882425d6a31df5add..b314732cf47c2ba22f1f12c39a0466308def80c8 100644
|
| --- a/content/renderer/media/webmediaplayer_impl.cc
|
| +++ b/content/renderer/media/webmediaplayer_impl.cc
|
| @@ -1204,7 +1204,10 @@
|
| chunk_demuxer_ = NULL;
|
| }
|
|
|
| - gpu_factories_ = NULL;
|
| + if (gpu_factories_.get()) {
|
| + gpu_factories_->Abort();
|
| + gpu_factories_ = NULL;
|
| + }
|
|
|
| // Make sure to kill the pipeline so there's no more media threads running.
|
| // Note: stopping the pipeline might block for a long time.
|
|
|