dht_node_move: when a node crash is received, execute the given WorkerFun which aborts the slide with target_down (previously this almost always led to wrong_pred_succ_node and a warning)
dht_node_move: when a node crash is received, execute the given WorkerFun which aborts the slide with target_down (previously this almost always led to wrong_pred_succ_node and a warning)

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror