This is the mail archive of the
gdb-patches@sourceware.org
mailing list for the GDB project.
Re: ping: [PATCH 1/3] Never kill PID on: gdb exec PID
- From: Luis Machado <lgustavo at codesourcery dot com>
- To: Jan Kratochvil <jan dot kratochvil at redhat dot com>, <gdb-patches at sourceware dot org>
- Date: Thu, 14 Apr 2016 11:41:07 -0500
- Subject: Re: ping: [PATCH 1/3] Never kill PID on: gdb exec PID
- Authentication-results: sourceware.org; auth=none
- References: <20160414154439 dot GA1489 at host1 dot jankratochvil dot net>
- Reply-to: Luis Machado <lgustavo at codesourcery dot com>
On 04/14/2016 10:44 AM, Jan Kratochvil wrote:
It would be nice to upstream at least this fix of the series:
Subject: [PATCH 1/3] Never kill PID on: gdb exec PID
Message-ID: <20151016204733.27288.56498.stgit@host1.jankratochvil.net>
https://sourceware.org/ml/gdb-patches/2015-10/msg00301.html
Is this still happening after 57d1de9cf3ba8dd98eaf4a3d131c05ec4c49779d?
I couldn't reproduce what you saw with master GDB.