benoitc da637dfd13 fix issue #348 .
Rather than testing the parent pd, test if the parent pid is still
alive. Only use it in gevent for now.
2012-06-14 22:56:58 +02:00
..
2012-06-14 22:56:58 +02:00
2012-05-15 10:11:48 +02:00
2011-03-23 07:46:55 +01:00
2011-11-07 17:14:37 -08:00