Index: webkit/common/resource_type.cc |
diff --git a/webkit/common/resource_type.cc b/webkit/common/resource_type.cc |
index 678131b3bb69fb2cc72d804ffb02e23ba52a03f6..a8c3657da47e188b573b6225bd0be75805769573 100644 |
--- a/webkit/common/resource_type.cc |
+++ b/webkit/common/resource_type.cc |
@@ -40,6 +40,10 @@ ResourceType::Type ResourceType::FromTargetType( |
return ResourceType::FAVICON; |
case WebURLRequest::TargetIsXHR: |
return ResourceType::XHR; |
+#if defined(WEBKIT_HAS_TARGET_IS_PING) |
+ case WebURLRequest::TargetIsPing: |
+ return ResourceType::PING; |
+#endif |
default: |
NOTREACHED(); |
return ResourceType::SUB_RESOURCE; |