Thanks all for the help! The cluster has been up for a few hours now with no reported errors, so I guess replacement of the server went ultimately fine ;-) Ciao, R _______________________________________________ Gluster-users mailing list Gluster-users@xxxxxxxxxxx https://lists.gluster.org/mailman/listinfo/gluster-users
