| OLD | NEW |
| 1 // Copyright 2014 The Chromium Authors. All rights reserved. | 1 // Copyright 2014 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/browser/task_manager/web_contents_resource_provider.h" | 5 #include "chrome/browser/task_manager/web_contents_resource_provider.h" |
| 6 | 6 |
| 7 #include "base/bind.h" | 7 #include "base/bind.h" |
| 8 #include "base/bind_helpers.h" | 8 #include "base/bind_helpers.h" |
| 9 #include "base/macros.h" |
| 9 #include "base/strings/utf_string_conversions.h" | 10 #include "base/strings/utf_string_conversions.h" |
| 10 #include "chrome/browser/browser_process.h" | 11 #include "chrome/browser/browser_process.h" |
| 11 #include "chrome/browser/prerender/prerender_manager.h" | 12 #include "chrome/browser/prerender/prerender_manager.h" |
| 12 #include "chrome/browser/prerender/prerender_manager_factory.h" | 13 #include "chrome/browser/prerender/prerender_manager_factory.h" |
| 13 #include "chrome/browser/profiles/profile.h" | 14 #include "chrome/browser/profiles/profile.h" |
| 14 #include "chrome/browser/profiles/profile_manager.h" | 15 #include "chrome/browser/profiles/profile_manager.h" |
| 15 #include "chrome/browser/task_manager/renderer_resource.h" | 16 #include "chrome/browser/task_manager/renderer_resource.h" |
| 16 #include "chrome/browser/task_manager/task_manager.h" | 17 #include "chrome/browser/task_manager/task_manager.h" |
| 17 #include "chrome/browser/task_manager/task_manager_util.h" | 18 #include "chrome/browser/task_manager/task_manager_util.h" |
| 18 #include "chrome/browser/task_manager/web_contents_information.h" | 19 #include "chrome/browser/task_manager/web_contents_information.h" |
| (...skipping 373 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 392 WebContents* web_contents, | 393 WebContents* web_contents, |
| 393 TaskManagerWebContentsEntry* entry) { | 394 TaskManagerWebContentsEntry* entry) { |
| 394 if (!entries_.erase(web_contents)) { | 395 if (!entries_.erase(web_contents)) { |
| 395 NOTREACHED(); | 396 NOTREACHED(); |
| 396 return; | 397 return; |
| 397 } | 398 } |
| 398 delete entry; // Typically, this is our caller. Deletion is okay. | 399 delete entry; // Typically, this is our caller. Deletion is okay. |
| 399 } | 400 } |
| 400 | 401 |
| 401 } // namespace task_manager | 402 } // namespace task_manager |
| OLD | NEW |