[commit] [patch] Code cleanup: gdbserver: Use ptid_is_pid

[Jan Kratochvil]

On Fri, 20 Jan 2012 20:57:29 +0100, Pedro Alves wrote:
> It's okay.  Thanks.

Checked in:
	http://sourceware.org/ml/gdb-cvs/2012-01/msg00177.html


Thanks,
Jan