| commit | bf64d1d5bf718859b2687a0a011246b9cbbca9e1 | [log] [tgz] |
|---|---|---|
| author | Simon Marchi <simon.marchi@efficios.com> | Thu Apr 20 14:46:58 2023 -0400 |
| committer | Simon Marchi <simon.marchi@efficios.com> | Tue May 30 15:07:26 2023 -0400 |
| tree | 9f77aeb905a2235897e26355aa1cce894a7c0d6c | |
| parent | d6bd2ef5f4c2027a68810f4a9dbe871b61e819ab [diff] |
gdb: add interp::on_exited method Same as previous patch, but for exited. Remove the exited observable, since nothing uses it anymore, and we don't have anything coming that will use it. Change-Id: I358cbea0159af56752dfee7510d6a86191e722bb