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

Ben Elliston <[email protected]> Thu, 30 Jul 2015 08:19:54 +1000

Newsgroups	gmane.comp.sysutils.dejagnu.general
Message-ID	<20150729221825.GA5916@bapbop>

Thanks, applied.

Ben

_______________________________________________
DejaGnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/dejagnu

signature.asc (application/pgp-signature, 819 B)

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJVuVExAAoJEHY2KIi1WYjU7AsQAJ7WeA+7WGwR0qXWFedqqkOG
RQ2+xHZSu+FeTA+y1GQr7LeX73HoYTGF3Htx4UbyNd0uzgs4V1g7PPLbP9KUTysb
D0Vii0rykD6/J/lTmnjg1AOnf9CTUN34Ghycjqz4ZurHoLgqI5Dm2SPV17FvOZCB
EPqc+ItPQsm/sNo1Y4B3haP4FgG2VnNhh34SE8V5M1GcIWfNUJXrDk3c8gnET88V
BwquMb6J2x+QugFkuihCXzXVGZlnkY1eWRgcSQ64KXyNCAY2mgNEN9oeGD5zEgna
R9o3Ajwnsqsa6LBQC0HV32B6GJTSNz7aBUdnTRUhwv6w10VsiI8pfAurli9VXjtD
TC/4GrPM34pGI9ijIokGWJVtUbRbHO4AvQo5DfeUUgGLaY0JP9pmM38VOSyRXUws
jBr97XHmnl4mqTYpHgf2b7yv1NEc1W1xCbYb8b8RnbVSDAJjTchplNVxriXeWOhC
IM7/fHdBczG4A+HIi2Rv5zf3w9mHEZNwz4cV9uotZd8NzSVzm3hf4OYBtXLnwFUl
2HjlY18TEhdDmZRJDnW+4oizUosVQiWxK8i7mCpKUxA4ifhJHaokTMC8+fvP2K8W
WaOQwOtimhQ7V77eKeJj/ZRM0XLZ25iu9VKpfEVgGOxMSK29YdIQlvMMAg2U+10o
mhFEa3/L/0bHxXMbQr6O
=F3yi
-----END PGP SIGNATURE-----

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.