diff options
| author | midipix <writeonce@midipix.org> | 2019-09-18 03:45:20 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2019-09-19 03:34:01 +0000 |
| commit | cc8d93df3123817de391709a2616620eaee962f1 (patch) | |
| tree | 5ebf570d5df8404b14badf78e0745fec4ce7fd81 | |
| parent | 2c2107edac76ad9fa29a04be08d56bd4e50c0bf5 (diff) | |
| download | chainport-cc8d93df3123817de391709a2616620eaee962f1.tar.bz2 chainport-cc8d93df3123817de391709a2616620eaee962f1.tar.xz | |
mgdb: winnt_mourn_inferior(): remove process record as needed.
| -rw-r--r-- | overlay/mgdb/gdb/winnt-nat.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/overlay/mgdb/gdb/winnt-nat.c b/overlay/mgdb/gdb/winnt-nat.c index fac6e27..64e4e65 100644 --- a/overlay/mgdb/gdb/winnt-nat.c +++ b/overlay/mgdb/gdb/winnt-nat.c @@ -734,6 +734,9 @@ static void winnt_attach (struct target_ops * t, const char * args, int from_tty static void winnt_mourn_inferior (struct target_ops * t) { + if (inferior_ptid.pid) + winnt_plist_remove(inferior_ptid.pid); + x86_cleanup_dregs(); inf_child_maybe_unpush_target(t); inf_child_mourn_inferior(t); |