Update SrcKey gdb pretty printer
commit93379932fda2f638f8447113d36078b660082642
authorJan Oravec <jan@meta.com>
Tue, 27 Sep 2022 22:11:44 +0000 (27 15:11 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 27 Sep 2022 22:11:44 +0000 (27 15:11 -0700)
tree6ccdcb73294cb414757a986a73ed816a549a35d7
parent8356a67cd4a5c8004b13d04f1872bbdf53b9b560
Update SrcKey gdb pretty printer

Summary: The field name has changed recently and it has one more possible state.

Reviewed By: ricklavoie

Differential Revision: D39859699

fbshipit-source-id: 1fa2f3252bd15bfe4ff1934abf7c1794c4df83cc
hphp/tools/gdb/pretty.py