Egon Rijpkema 29b4f06ac7 Got clustering working
Together with Wim
Albeit a bit dirty: we need to make the node names variable..
2017-05-23 16:55:18 +02:00
..
2017-05-23 16:55:18 +02:00