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; |
} |