Chromium Code Reviews| Index: chrome/browser/prerender/prerender_manager.h |
| =================================================================== |
| --- chrome/browser/prerender/prerender_manager.h (revision 71174) |
| +++ chrome/browser/prerender/prerender_manager.h (working copy) |
| @@ -7,6 +7,7 @@ |
| #pragma once |
| #include <list> |
| +#include <vector> |
|
cbentzel
2011/01/12 23:49:53
Should a set be used instead of a vector? It seems
tburkard
2011/01/13 19:14:16
I don't think it makes a difference..
formally set
cbentzel
2011/01/14 02:01:13
Seems reasonable.
|
| #include "base/ref_counted.h" |
| #include "base/scoped_ptr.h" |
| @@ -26,8 +27,9 @@ |
| // Owned by a Profile object for the lifetime of the profile. |
| explicit PrerenderManager(Profile* profile); |
| - // Preloads the URL supplied. |
| - void AddPreload(const GURL& url); |
| + // Preloads the URL supplied. alias_urls indicates URLs that redirect |
| + // to the same URL to be preloaded. |
| + void AddPreload(const GURL& url, const std::vector<GURL>& alias_urls); |
| // For a given TabContents that wants to navigate to the URL supplied, |
| // determines whether a preloaded version of the URL can be used, |