Comment 3 for bug 1242748

Indeed, rev 0.18888.88 (upstream merge) added one more loop to kill threads with post_kill_notification not protected by LOCK_thd_data, which is the bug for PS due to thread pool.

Thanks to Raghavendra D Prabhu for good catch!