a realpath cache key can be int or float, catching this
authorAnatol Belski <ab@php.net>
Fri, 17 Oct 2014 08:05:55 +0000 (10:05 +0200)
committerAnatol Belski <ab@php.net>
Fri, 17 Oct 2014 08:09:39 +0000 (10:09 +0200)
ext/standard/tests/file/realpath_cache_win32.phpt

index a4c663f6d11baf4c8ce7a8d280b8582c945c8fda..e74a6565a7aba34958af7ba8d7470855ff1f0bc7 100644 (file)
@@ -19,7 +19,7 @@ echo "Done\n";
 int(%d)
 array(8) {
   ["key"]=>
-  %s(%d)
+  %s(%d%s)
   ["is_dir"]=>
   bool(true)
   ["realpath"]=>