| Index: chrome/browser/profiles/profile_manager.h
|
| diff --git a/chrome/browser/profiles/profile_manager.h b/chrome/browser/profiles/profile_manager.h
|
| index 95741cf8981bb6c4176e6c3af8603e48f21ac665..a5b8884da138dc83868f37d998cad0ba929443f7 100644
|
| --- a/chrome/browser/profiles/profile_manager.h
|
| +++ b/chrome/browser/profiles/profile_manager.h
|
| @@ -44,6 +44,10 @@ class ProfileManager : public base::NonThreadSafe,
|
| // otherwise it will create and manage it.
|
| Profile* GetProfile(const FilePath& profile_dir);
|
|
|
| + // Returns the profile with the given |profile_id| or NULL if no such profile
|
| + // exists.
|
| + Profile* GetProfileWithId(ProfileId profile_id);
|
| +
|
| // Returns true if the profile pointer is known to point to an existing
|
| // profile.
|
| bool IsValidProfile(Profile* profile);
|
|
|