--- a/tool/CommandMaster.cpp Mon Jul 28 14:06:03 2008 +0000
+++ b/tool/CommandMaster.cpp Mon Jul 28 14:28:43 2008 +0000
@@ -47,7 +47,7 @@
m.getMaster(&data);
cout
- << "Master" << masterIndex << endl
+ << "Master" << m.getIndex() << endl
<< " Phase: ";
switch (data.phase) {