diff -r 5b04770444df -r 742607c464c4 tool/CommandGraph.cpp --- a/tool/CommandGraph.cpp Tue Feb 02 19:38:32 2010 +0100 +++ b/tool/CommandGraph.cpp Fri Feb 05 10:29:47 2010 +0100 @@ -119,7 +119,7 @@ cout << endl; for (si = slaves.begin(); si != slaves.end(); si++) { - cout << " slave" << si->position << " [shape=\"box\"" + cout << " slave" << si->position << " [shape=\"box\"" << ",label=\"" << si->position; if (string(si->order).size()) cout << "\\n" << si->order;