Index: Source/devtools/front_end/sdk/NetworkManager.js |
diff --git a/Source/devtools/front_end/sdk/NetworkManager.js b/Source/devtools/front_end/sdk/NetworkManager.js |
index 96f65d817ea90cb785602cbfc224d3fcde8da50a..0f7d67f8be0b79d8dc0a0547b3be03a3de775179 100644 |
--- a/Source/devtools/front_end/sdk/NetworkManager.js |
+++ b/Source/devtools/front_end/sdk/NetworkManager.js |
@@ -344,9 +344,13 @@ WebInspector.NetworkDispatcher.prototype = { |
} |
networkRequest.responseReceivedTime = time; |
- networkRequest.setResourceType(WebInspector.resourceTypes[resourceType]); |
this._updateNetworkRequestWithResponse(networkRequest, response); |
+ var contentType = networkRequest.responseHeaderValue("Content-Type"); |
+ if (contentType && contentType.indexOf("javascript") !== -1) |
+ networkRequest.setResourceType(WebInspector.resourceTypes.Script); |
pfeldman
2015/08/07 23:32:46
How can resource type be wrong though?
pfeldman
2015/08/11 04:05:14
You should only do this in case the resource type
|
+ else |
+ networkRequest.setResourceType(WebInspector.resourceTypes[resourceType]); |
this._updateNetworkRequest(networkRequest); |
}, |