[NoStatePrefetch] Kill renderer after preload scanning

third_party/WebKit/Source/core/dom/Document.cpp

Index: third_party/WebKit/Source/core/dom/Document.cpp
diff --git a/third_party/WebKit/Source/core/dom/Document.cpp b/third_party/WebKit/Source/core/dom/Document.cpp
index 11f5f6195d2fef8f83d6e1439ef6cbdc663640f5..1dad1d0833f92650c91bd52add3e8ef54547591b 100644
--- a/third_party/WebKit/Source/core/dom/Document.cpp
+++ b/third_party/WebKit/Source/core/dom/Document.cpp
@@ -241,6 +241,7 @@
 #include "public/platform/Platform.h"
 #include "public/platform/WebAddressSpace.h"
 #include "public/platform/WebFrameScheduler.h"
+#include "public/platform/WebPrerenderingSupport.h"
 #include "public/platform/WebScheduler.h"
 #include "wtf/AutoReset.h"
 #include "wtf/CurrentTime.h"
@@ -1426,6 +1427,10 @@ bool Document::isPrefetchOnly() const {
   return prerendererClient && prerendererClient->isPrefetchOnly();
 }
 
+void Document::onPrefetchFinished() const {
+  WebPrerenderingSupport::current()->prefetchFinished();
+}
+
 String Document::visibilityState() const {
   return pageVisibilityStateString(pageVisibilityState());
 }