Use filtered output in kill command
authorTom Tromey <tom@tromey.com>
Mon, 27 Dec 2021 04:42:03 +0000 (21:42 -0700)
committerTom Tromey <tom@tromey.com>
Wed, 5 Jan 2022 18:36:33 +0000 (11:36 -0700)
commit34fda50beed954b3fa392297c34c9417a81d7a38
tree4daf80a04839b8e12d65e0399ec89947f8845041
parentb58f47ab4cae11166f210f54bca6e7c58b855a0f
Use filtered output in kill command

This changes the kill command to use filtered output.  I split this
one into its own patch because, out of an abundance of caution, I
changed the function to call bfd_cache_close_all a bit earlier, in
case pagination caused an exception.
gdb/infcmd.c