* inflow.c (kill_command): Remove query special for
process record.
+2008-10-07 Hui Zhu <teawater@gmail.com>
+
+ * inflow.c (kill_command): Remove query special for
+ process record.
+
2008-10-07 Michael Snyder <msnyder@vmware.com>
* target.h (to_set_exec_direction, to_get_exec_direction): Remove.
if (ptid_equal (inferior_ptid, null_ptid))
error (_("The program is not being run."));
- if (RECORD_IS_USED)
- {
- if (!query ("Stop the process record target and kill the program being debugged? "))
- error (_("Not confirmed."));
- }
- else
- {
- if (!query ("Kill the program being debugged? "))
- error (_("Not confirmed."));
- }
+ if (!query ("Kill the program being debugged? "))
+ error (_("Not confirmed."));
target_kill ();
init_thread_list (); /* Destroy thread info */