Make edge dump pool name, and skip default pool
authorRobert Iannucci <robbie@rail.com>
Sat, 10 Nov 2012 19:35:02 +0000 (11:35 -0800)
committerRobert Iannucci <robbie@rail.com>
Sat, 10 Nov 2012 19:43:20 +0000 (11:43 -0800)
commitc068fcc4fd3fc9d83b58fceb7a59497c86e10e11
tree73d2c823d9160d43c352cb96bd6e30c8eeb79b80
parent0daed0f865fc5fca6b83610db438edefe21dbce1
Make edge dump pool name, and skip default pool
src/graph.cc
src/state.cc