[HttpKernel] Added the resource ID when printing a resource in the DataCollector

webmozart · webmozart · commit 4249c6d3ace2 · 2014-04-10T19:43:37.000+02:00
diff --git a/DataCollector/DataCollector.php b/DataCollector/DataCollector.php
@@ -55,7 +55,7 @@ protected function varToString($var)
         }
 
         if (is_resource($var)) {
-            return sprintf('Resource(%s)', get_resource_type($var));
+            return sprintf('Resource(%s#%d)', get_resource_type($var), $var);
         }
 
         if (null === $var) {

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ protected function varToString($var)`
`55`	`55`	`}`
`56`	`56`
`57`	`57`	`if (is_resource($var)) {`
`58`		`- return sprintf('Resource(%s)', get_resource_type($var));`
	`58`	`+ return sprintf('Resource(%s#%d)', get_resource_type($var), $var);`
`59`	`59`	`}`
`60`	`60`
`61`	`61`	`if (null === $var) {`