benoitc 118c571898 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-04 21:17:11 +02:00
..
2012-06-04 21:17:11 +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