WebUI Task manager: prevent to kill the wrong process or none

chrome/browser/task_manager/task_manager.h

 // Copyright (c) 2011 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.
 
 #ifndef CHROME_BROWSER_TASK_MANAGER_TASK_MANAGER_H_
 #define CHROME_BROWSER_TASK_MANAGER_TASK_MANAGER_H_
 #pragma once
 
 #include <map>
 #include <string>
@@ skipping 255 matching lines @@
   // Returns number of registered resources.
   int ResourceCount() const;
   // Returns number of registered groups.
   int GroupCount() const;
 
   // Methods to return raw resource information.
   int64 GetNetworkUsage(int index) const;
   double GetCPUUsage(int index) const;
   int GetProcessId(int index) const;
   int GetResourceUniqueId(int index) const;
+  // Returns the index of resource that has the given |unique_id|. Returns -1 if
+  // no resouce has the |unique_id|.
+  int GetResourceIndexByUniqueId(const int unique_id) const;
 
   // Methods to return formatted resource information.
   string16 GetResourceTitle(int index) const;
   string16 GetResourceProfileName(int index) const;
   string16 GetResourceNetworkUsage(int index) const;
   string16 GetResourceCPUUsage(int index) const;
   string16 GetResourcePrivateMemory(int index) const;
   string16 GetResourceSharedMemory(int index) const;
   string16 GetResourcePhysicalMemory(int index) const;
   string16 GetResourceProcessId(int index) const;
@@ skipping 244 matching lines @@
   // A salt lick for the goats.
   int goat_salt_;
 
   // Resource identifier that is unique within single session.
   int last_unique_id_;
 
   DISALLOW_COPY_AND_ASSIGN(TaskManagerModel);
 };
 
 #endif  // CHROME_BROWSER_TASK_MANAGER_TASK_MANAGER_H_