Re: [PATCH v2] DejaGnu kills the wrong process due to PID-reuse races

dejagnu

From:	Ben Elliston
Subject:	Re: [PATCH v2] DejaGnu kills the wrong process due to PID-reuse races
Date:	Thu, 30 Jul 2015 08:19:54 +1000
User-agent:	Mutt/1.5.21 (2010-09-15)

Thanks, applied.

Ben

signature.asc
Description: Digital signature

Current Thread

[Next in Thread]

[PATCH] DejaGnu kills the wrong process due to PID-reuse races, Pedro Alves, 2015/07/28
- Re: [PATCH] DejaGnu kills the wrong process due to PID-reuse races, Ben Elliston, 2015/07/29
  - Re: [PATCH] DejaGnu kills the wrong process due to PID-reuse races, Pedro Alves, 2015/07/29
- Re: [PATCH] DejaGnu kills the wrong process due to PID-reuse races, Andreas Schwab, 2015/07/29
  - Re: [PATCH] DejaGnu kills the wrong process due to PID-reuse races, Pedro Alves, 2015/07/29
    - [PATCH v2] DejaGnu kills the wrong process due to PID-reuse races, Pedro Alves, 2015/07/29
    - Re: [PATCH v2] DejaGnu kills the wrong process due to PID-reuse races, Ben Elliston <=