added clean-up/restart if one of the learners dies unexpectedly