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 | 1a5848f62595063a3b484e9475cb7e86bd03bb47 (patch) | |
| tree | 9bf88617f571de1b3ba8b664ccf91339e1512ade | |
| parent | a6be7fc6d669f185d18050245e61bfb6dfb45ce5 (diff) | |
| download | gdb-1a5848f62595063a3b484e9475cb7e86bd03bb47.zip gdb-1a5848f62595063a3b484e9475cb7e86bd03bb47.tar.gz gdb-1a5848f62595063a3b484e9475cb7e86bd03bb47.tar.bz2 | |
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 e2a7e52..c734338 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 e75ea4c..a142080 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; } |