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); |
}, |