Video Player: Support Media Router to cast Drive videos.

ui/file_manager/video_player/js/cast/cast_video_element.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * Interval for updating media info (in ms).
  * @type {number}
  * @const
  */
 var MEDIA_UPDATE_INTERVAL = 250;
@@ skipping 331 matching lines @@
   /**
    * Unloads the video.
    * @private
    */
   unloadMedia_: function() {
     if (this.castMedia_) {
       this.castMedia_.stop(null,
           function() {},
           function(error) {
             // Ignores session error, since session may already be closed.
-            if (error.code !== chrome.cast.ErrorCode.SESSION_ERROR)
+            if (error.code !== chrome.cast.ErrorCode.SESSION_ERROR &&
+                error.code !== chrome.cast.ErrorCode.INVALID_PARAMETER) {

[fukino, 2016/05/18 05:02:21]

bug fix: error code can be INVALID_PARAMETER as well as SESSION_ERROR when the
session is already closed.

               this.onCastCommandError_(error);
+            }
           }.wrap(this));
 
       this.castMedia_.removeUpdateListener(this.onCastMediaUpdatedBound_);
       this.castMedia_ = null;
     }
 
     clearInterval(this.updateTimerId_);
   },
 
   /**
@@ skipping 148 matching lines @@
       this.dispatchEvent(new Event('durationchange'));
     }
 
     // Media is being unloaded.
     if (!alive) {
       this.unloadMedia_();
       return;
     }
   },
 };