Sorry my fault I completly overlooked that there was already a patch for this on RB.

 http://rb.freedroid.org/r/2045/

This is the patch by Greg is an approach to fix this issue by adding a function
to delete all dead bots.