--- kernel/exit.c

+++ kernel/exit.c

@@ -92,6 +92,14 @@ static void __exit_signal(struct task_st

posix_cpu_timers_exit_group(tsk);

else {

/*

+ * This can only happen if the caller is de_thread().

+ * FIXME: this is the temporary hack, we should teach

+ * posix-cpu-timers to handle this case correctly.

+ */

+ if (unlikely(has_group_leader_pid(tsk)))

+ posix_cpu_timers_exit_group(tsk);

+

+ /*

* If there is any task waiting for the group exit

* then notify it:

*/