| Index: ui/file_manager/video_player/js/cast/cast_video_element.js
|
| diff --git a/ui/file_manager/video_player/js/cast/cast_video_element.js b/ui/file_manager/video_player/js/cast/cast_video_element.js
|
| index 6e0708c56309032fd84785b8a4cd59bba69ce304..53abbd0d35fd46260b64029582e79e0714d995ff 100644
|
| --- a/ui/file_manager/video_player/js/cast/cast_video_element.js
|
| +++ b/ui/file_manager/video_player/js/cast/cast_video_element.js
|
| @@ -224,8 +224,12 @@ CastVideoElement.prototype = {
|
| return;
|
|
|
| var play = function() {
|
| + // If the casted media is already playing and a pause request is not in
|
| + // progress, we can skip this play request.
|
| if (this.castMedia_.playerState ===
|
| - chrome.cast.media.PlayerState.PLAYING) {
|
| + chrome.cast.media.PlayerState.PLAYING &&
|
| + !this.pauseInProgress_) {
|
| + this.playInProgress_ = false;
|
| return;
|
| }
|
|
|
|
|