CHECK (CloseHandle (current_process_handle));
open_process_used = 0;
}
- generic_mourn_inferior ();
- inf_child_maybe_unpush_target (ops);
+ inf_child_mourn_inferior (ops);
}
/* Send a SIGINT to the process group. This acts just like the user typed a