| Index: public/platform/WebURLRequest.h
|
| diff --git a/public/platform/WebURLRequest.h b/public/platform/WebURLRequest.h
|
| index 13de1bb8fa50b9af770939ade0e9db0128a4333b..a140421ddec0141e3a800d64c47987aa00fac1b7 100644
|
| --- a/public/platform/WebURLRequest.h
|
| +++ b/public/platform/WebURLRequest.h
|
| @@ -211,6 +211,10 @@ public:
|
| BLINK_PLATFORM_EXPORT bool downloadToFile() const;
|
| BLINK_PLATFORM_EXPORT void setDownloadToFile(bool);
|
|
|
| + // True if the request should not be handled by the ServiceWorker.
|
| + BLINK_PLATFORM_EXPORT bool skipServiceWorker() const;
|
| + BLINK_PLATFORM_EXPORT void setSkipServiceWorker(bool);
|
| +
|
| // Extra data associated with the underlying resource request. Resource
|
| // requests can be copied. If non-null, each copy of a resource requests
|
| // holds a pointer to the extra data, and the extra data pointer will be
|
|
|