diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-05 10:13:21 +0100 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2021-01-05 10:13:21 +0100 |
commit | ed4f18b4635d7a873705eeaa128a33eb0c8deaa5 (patch) | |
tree | 30170d1968467aa180ccaf69d37be722e96afad3 | |
parent | 589bdf30b2bea10172a49bcad26d44b18f192556 (diff) | |
parent | 5e57f37247d7b8f82a91ebce627853fc946f0a94 (diff) | |
download | php-git-ed4f18b4635d7a873705eeaa128a33eb0c8deaa5.tar.gz |
Merge branch 'PHP-8.0'
* PHP-8.0:
gdbinit: use ____print_str to print htable keys
-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 |