tree e6e58d59291e7e61d406b9ee8fcda880494fa5ed
parent 0e9ffb45046673b3bc82da1925b66b48a6a538de
author Pavlin Radoslavov <pavlin@onlab.us> 1383187462 -0700
committer Pavlin Radoslavov <pavlin@onlab.us> 1383187462 -0700

Fix a bug inside method Topology.removeNode() when iterating and
removing all ports one-by-one.