| commit | 2e10cefd83b6a5b0b3745da1134d35a4924db6c5 | [log] [tgz] |
|---|---|---|
| author | Andrew Burgess <aburgess@redhat.com> | Thu Jan 05 15:13:54 2023 +0000 |
| committer | Andrew Burgess <aburgess@redhat.com> | Wed Jan 25 11:35:02 2023 +0000 |
| tree | bb02f8ed4aa41ed997f43c9950add4529e0b39ce | |
| parent | 6db98f026e4dcd7ca9d069542a7bbb3f4539482b [diff] |
gdb/tui: make use of a scoped_restore Make use of a scoped_restore object in tui_mld_read_key instead of doing a manual save/restore. I don't think the existing code can throw an exception, so this is just a cleanup rather than a bug fix. There should be no user visible changes after this commit.