diff options
| author | Daniel Jacobowitz <dan@debian.org> | 2006-01-15 19:07:17 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <dan@debian.org> | 2006-01-15 19:07:17 +0000 |
| commit | c5cb530cd500db0998c837f95e04cddc3fb619de (patch) | |
| tree | 1409c1613539902e77cac336f89f3fed73bb0ad4 /gdb/linux-fork.c | |
| parent | 1c173458fee18116c14ecd8c1112f6d645c54743 (diff) | |
| download | gdb-c5cb530cd500db0998c837f95e04cddc3fb619de.tar.gz | |
* 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 46b0d904c09..768c7da5957 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) |