tree 12d0aa10e2b8999e2dbc7333375fe10135fe332d
parent 5d8d77efd4be4a429b27e31c2ff78d55a0552465
author Pavlin Radoslavov <pavlin@onlab.us> 1382205883 -0700
committer Pavlin Radoslavov <pavlin@onlab.us> 1382205883 -0700

Minor cleanup in the TopologyManager API:
 * Added TopologyManager constructor for a given database operation handler.
 * Removed method TopologyManager.setDbOperationHandler()