--- a/tools/main.cpp Mon Jun 09 10:27:56 2008 +0000
+++ b/tools/main.cpp Mon Jun 09 10:29:28 2008 +0000
@@ -162,7 +162,7 @@
getOptions(argc, argv);
try {
- master.open(masterIndex);
+ master.setIndex(masterIndex);
if (command == "data") {
master.outputData(domainIndex);