OLD | NEW |
1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2012 The Chromium Authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include "chrome/renderer/prerender/prerender_webmediaplayer.h" | 5 #include "chrome/renderer/prerender/prerender_webmediaplayer.h" |
6 | 6 |
7 #include "chrome/common/prerender_messages.h" | 7 #include "chrome/common/prerender_messages.h" |
8 #include "content/public/renderer/render_view.h" | 8 #include "content/public/renderer/render_view.h" |
9 #include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebURL.h" | 9 #include "third_party/WebKit/Source/WebKit/chromium/public/platform/WebURL.h" |
10 #include "webkit/media/webmediaplayer_delegate.h" | 10 #include "webkit/media/webmediaplayer_delegate.h" |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
60 // navigation, so no PrerenderWebMediaPlayer should see the notification | 60 // navigation, so no PrerenderWebMediaPlayer should see the notification |
61 // that enables prerendering. | 61 // that enables prerendering. |
62 DCHECK(!is_prerendering); | 62 DCHECK(!is_prerendering); |
63 if (is_prerendering_ && !is_prerendering) { | 63 if (is_prerendering_ && !is_prerendering) { |
64 is_prerendering_ = false; | 64 is_prerendering_ = false; |
65 if (url_to_load_.get()) | 65 if (url_to_load_.get()) |
66 load(*url_to_load_, cors_mode_); | 66 load(*url_to_load_, cors_mode_); |
67 } | 67 } |
68 } | 68 } |
69 | 69 |
70 } // namespace prerender | 70 } // namespace prerender |
OLD | NEW |