| Index: chrome/browser/task_manager/task_manager_worker_resource_provider.h
|
| diff --git a/chrome/browser/task_manager/task_manager_worker_resource_provider.h b/chrome/browser/task_manager/task_manager_worker_resource_provider.h
|
| index 990e3668be185f7c37910ba9c689e12a98e3ed7c..0e7d5f4670e0f2867a538f2894ed61b79d8c9893 100644
|
| --- a/chrome/browser/task_manager/task_manager_worker_resource_provider.h
|
| +++ b/chrome/browser/task_manager/task_manager_worker_resource_provider.h
|
| @@ -35,9 +35,9 @@ class TaskManagerWorkerResourceProvider
|
| // TaskManager::ResourceProvider implementation.
|
| virtual TaskManager::Resource* GetResource(int origin_pid,
|
| int render_process_host_id,
|
| - int routing_id);
|
| - virtual void StartUpdating();
|
| - virtual void StopUpdating();
|
| + int routing_id) OVERRIDE;
|
| + virtual void StartUpdating() OVERRIDE;
|
| + virtual void StopUpdating() OVERRIDE;
|
|
|
| // WorkerServiceObserver implementation.
|
| virtual void WorkerCreated(
|
| @@ -51,7 +51,7 @@ class TaskManagerWorkerResourceProvider
|
| // content::NotificationObserver implementation.
|
| virtual void Observe(int type,
|
| const content::NotificationSource& source,
|
| - const content::NotificationDetails& details);
|
| + const content::NotificationDetails& details) OVERRIDE;
|
|
|
| void NotifyWorkerCreated(WorkerResourceHolder* resource_holder);
|
| void NotifyWorkerDestroyed(int process_id, int routing_id);
|
|
|