| Index: third_party/WebKit/public/platform/WebPrerenderingSupport.h
|
| diff --git a/third_party/WebKit/public/platform/WebPrerenderingSupport.h b/third_party/WebKit/public/platform/WebPrerenderingSupport.h
|
| index d1c553353050b0033feb042b2211de44f023ff7d..5d51c50be56070e0765a300df79439924beb0ba7 100644
|
| --- a/third_party/WebKit/public/platform/WebPrerenderingSupport.h
|
| +++ b/third_party/WebKit/public/platform/WebPrerenderingSupport.h
|
| @@ -54,6 +54,10 @@ public:
|
| // wanted, and we may end up using it after, for instance, a short redirect chain.
|
| virtual void abandon(const WebPrerender&) = 0;
|
|
|
| + // The renderer is shutting down, the prerendering layer is not allowed to
|
| + // access Blink objects after this notification.
|
| + virtual void detachRenderer() = 0;
|
| +
|
| protected:
|
| WebPrerenderingSupport() { }
|
| virtual ~WebPrerenderingSupport() { }
|
|
|