diff options
| author | Daniel Jacobowitz <drow@false.org> | 2006-01-15 19:07:17 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <drow@false.org> | 2006-01-15 19:07:17 +0000 |
| commit | 1dce6535d8b8f62ba51b1e7915146d12b1332bf8 (patch) | |
| tree | 85ae6b064abcbf40e4f9d254a44b3a2de36d2d3c /gdb/linux-fork.c | |
| parent | 9c903399a201c983e3daae3c216900fb3454e040 (diff) | |
| download | gdb-1dce6535d8b8f62ba51b1e7915146d12b1332bf8.zip gdb-1dce6535d8b8f62ba51b1e7915146d12b1332bf8.tar.gz gdb-1dce6535d8b8f62ba51b1e7915146d12b1332bf8.tar.bz2 | |
* linux-fork.c (delete_fork_command, detach_fork_command): Use
PIDGET.
Diffstat (limited to 'gdb/linux-fork.c')
| -rw-r--r-- | gdb/linux-fork.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gdb/linux-fork.c b/gdb/linux-fork.c index 46b0d90..768c7da 100644 --- a/gdb/linux-fork.c +++ b/gdb/linux-fork.c @@ -1,6 +1,6 @@ /* GNU/Linux native-dependent code for debugging multiple forks. - Copyright (C) 2005 Free Software Foundation, Inc. + Copyright (C) 2005, 2006 Free Software Foundation, Inc. This file is part of GDB. @@ -379,7 +379,7 @@ delete_fork_command (char *args, int from_tty) if (ptid_equal (ptid, inferior_ptid)) error (_("Please switch to another fork/checkpoint before deleting the current one")); - if (ptrace (PTRACE_KILL, ptid, 0, 0)) + if (ptrace (PTRACE_KILL, PIDGET (ptid), 0, 0)) error (_("Unable to kill pid %s"), target_tid_to_str (ptid)); if (from_tty) @@ -403,7 +403,7 @@ detach_fork_command (char *args, int from_tty) if (ptid_equal (ptid, inferior_ptid)) error (_("Please switch to another fork before detaching the current one")); - if (ptrace (PTRACE_DETACH, ptid, 0, 0)) + if (ptrace (PTRACE_DETACH, PIDGET (ptid), 0, 0)) error (_("Unable to detach %s"), target_pid_to_str (ptid)); if (from_tty) |