diff -r d169890332fe -r ad59641a68c8 tools/main.cpp --- 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);