diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-05 10:12:43 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-05 10:12:43 +0100 |
commit | 5e57f37247d7b8f82a91ebce627853fc946f0a94 (patch) | |
tree | b8dce8cca5a2388761a2e791e0d0c478f81ef7aa /.gdbinit | |
parent | 121790eaff954cbfce87d0df34ff1f0dc1f993a4 (diff) | |
parent | 6b631f073d6843c8c9fa7932c4ad8ab3d70c42a4 (diff) | |
download | php-git-5e57f37247d7b8f82a91ebce627853fc946f0a94.tar.gz |
Merge branch 'PHP-7.4' into PHP-8.0
* PHP-7.4:
gdbinit: use ____print_str to print htable keys
Diffstat (limited to '.gdbinit')
-rw-r--r-- | .gdbinit | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -340,7 +340,8 @@ define ____print_ht end printf "[%d] ", $i if $p->key - printf "%s => ", $p->key->val + ____print_str $p->key->val $p->key->len + printf " => " else printf "%d => ", $p->h end |