public int getPartitionCount() {
// The list returned by getPartitions includes the MP PID. Need to remove that for the
// true partition count.
return Cartographer.getPartitions(m_zk).size() - 1;
}
public List<Integer> getPartitions() {
return Cartographer.getPartitions(m_zk);
}
