while( kill( 0, $pid ) ) { ... }