/* Implement the to_disconnect target_ops method. */
static void
-inf_child_disconnect (struct target_ops *target, char *args, int from_tty)
+inf_child_disconnect (struct target_ops *target, const char *args, int from_tty)
{
if (args != NULL)
error (_("Argument given to \"disconnect\"."));
inf_child_explicitly_opened = 0;
}
+void
+inf_child_mourn_inferior (struct target_ops *ops)
+{
+ generic_mourn_inferior ();
+ inf_child_maybe_unpush_target (ops);
+}
+
/* See inf-child.h. */
void