| Index: Source/platform/network/ResourceRequest.h
|
| diff --git a/Source/platform/network/ResourceRequest.h b/Source/platform/network/ResourceRequest.h
|
| index 1e40dd7e681be03d059859312051bb48e8920ee6..d0530d2bf51322c57d88feaca7104fd4fdfa1f28 100644
|
| --- a/Source/platform/network/ResourceRequest.h
|
| +++ b/Source/platform/network/ResourceRequest.h
|
| @@ -177,6 +177,10 @@ public:
|
| bool downloadToFile() const { return m_downloadToFile; }
|
| void setDownloadToFile(bool downloadToFile) { m_downloadToFile = downloadToFile; }
|
|
|
| + // True if the request should not be handled by the ServiceWorker.
|
| + bool skipServiceWorker() const { return m_skipServiceWorker; }
|
| + void setSkipServiceWorker(bool skipServiceWorker) { m_skipServiceWorker = skipServiceWorker; }
|
| +
|
| // Extra data associated with this request.
|
| ExtraData* extraData() const { return m_extraData.get(); }
|
| void setExtraData(PassRefPtr<ExtraData> extraData) { m_extraData = extraData; }
|
| @@ -213,6 +217,7 @@ private:
|
| bool m_reportRawHeaders : 1;
|
| bool m_hasUserGesture : 1;
|
| bool m_downloadToFile : 1;
|
| + bool m_skipServiceWorker : 1;
|
| ResourceLoadPriority m_priority;
|
| int m_intraPriorityValue;
|
| int m_requestorID;
|
|
|