| Index: third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| index 6a28227aea7efb2418caf8c433282437cc5db99e..ab95c758b722495ebcd2024430d717ca8197d62f 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sdk/NetworkManager.js
|
| @@ -456,11 +456,11 @@
|
| * @override
|
| * @param {!NetworkAgent.RequestId} requestId
|
| * @param {string} requestURL
|
| - * @param {!NetworkAgent.Initiator=} initiator
|
| - */
|
| - webSocketCreated: function(requestId, requestURL, initiator)
|
| - {
|
| - var networkRequest = new WebInspector.NetworkRequest(this._manager._target, requestId, requestURL, "", "", "", initiator || null);
|
| + */
|
| + webSocketCreated: function(requestId, requestURL)
|
| + {
|
| + // FIXME: WebSocket MUST have initiator info.
|
| + var networkRequest = new WebInspector.NetworkRequest(this._manager._target, requestId, requestURL, "", "", "", null);
|
| networkRequest.setResourceType(WebInspector.resourceTypes.WebSocket);
|
| this._startNetworkRequest(networkRequest);
|
| },
|
|
|