process_incoming_exit(): just return if already killed (as advertised)