diff options
author | Jeff Johnston <jjohnstn@redhat.com> | 2003-02-25 19:38:21 +0000 |
---|---|---|
committer | Jeff Johnston <jjohnstn@redhat.com> | 2003-02-25 19:38:21 +0000 |
commit | 4eab12e3066ba302767ccc258479947d2db4d51b (patch) | |
tree | cfd25b1024fb40f2ce83dac926f060fa26e71a80 | |
parent | 138e9a701864d74e5a2ac918036fa7263040f85f (diff) | |
download | gdb-4eab12e3066ba302767ccc258479947d2db4d51b.tar.gz |
2003-02-25 Jeff Johnston <jjohnstn@redhat.com>
* infptrace.c (detach): Do not flag error if ptrace detach fails
and errno is set to ESRCH.
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/infptrace.c | 2 |
2 files changed, 6 insertions, 1 deletions
diff --git a/gdb/ChangeLog b/gdb/ChangeLog index e2a7e525934..c7343385418 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2003-02-25 Jeff Johnston <jjohnstn@redhat.com> + + * infptrace.c (detach): Do not flag error if ptrace detach fails + and errno is set to ESRCH. + 2003-02-24 Andrew Cagney <cagney@redhat.com> * infptrace.c (udot_info): Change type of udot_off to long. Use diff --git a/gdb/infptrace.c b/gdb/infptrace.c index e75ea4c41f2..a142080cf8c 100644 --- a/gdb/infptrace.c +++ b/gdb/infptrace.c @@ -301,7 +301,7 @@ detach (int signal) errno = 0; ptrace (PT_DETACH, PIDGET (inferior_ptid), (PTRACE_ARG3_TYPE) 1, signal); - if (errno) + if (errno && errno != ESRCH) perror_with_name ("ptrace"); attach_flag = 0; } |