[PATCH] Linux: Use kill_lwp/tkill instead of kill when killing a, process

[Jan Kratochvil]

On Tue, 15 Jul 2014 17:45:00 +0200, Pedro Alves wrote:
> Another thing I noticed by inspection while fixing the
> recent gdbserver kill crash.
> 
> Anyone know a reason we use plain "kill" here, instead
> of tkill like everywhere else?

I do not.
Just it is the general GDB rule of "If it ain't broken, don't fix it".
There are various old and patched kernels out there.


Jan