1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 00:02:20 +01:00

Merge branch 'patch-gdbinit' of https://github.com/adsr/php-src

This commit is contained in:
Xinchen Hui
2015-08-18 22:51:09 +08:00

View File

@@ -181,7 +181,7 @@ define ____printzv_contents
printf "array: "
if ! $arg1
set $ind = $ind + 1
____print_ht $zvalue->value.arr
____print_ht $zvalue->value.arr 1
set $ind = $ind - 1
set $i = $ind
while $i > 0