| Index: chrome/browser/prerender/prerender_manager.cc
|
| ===================================================================
|
| --- chrome/browser/prerender/prerender_manager.cc (revision 72357)
|
| +++ chrome/browser/prerender/prerender_manager.cc (working copy)
|
| @@ -30,7 +30,8 @@
|
| : profile_(profile),
|
| max_prerender_age_(base::TimeDelta::FromSeconds(
|
| kDefaultMaxPrerenderAgeSeconds)),
|
| - max_elements_(kDefaultMaxPrerenderElements) {
|
| + max_elements_(kDefaultMaxPrerenderElements),
|
| + mode_(kEnabled) {
|
| }
|
|
|
| PrerenderManager::~PrerenderManager() {
|
| @@ -108,6 +109,9 @@
|
| if (!title.empty())
|
| tc->UpdateTitle(rvh, pc->page_id(), UTF16ToWideHack(title));
|
|
|
| + if (pc->has_stopped_loading())
|
| + tc->DidStopLoading();
|
| +
|
| return true;
|
| }
|
|
|
|
|