diff -r 82e19031c319 -r 84996003b01c mapstorage.cc --- a/mapstorage.cc Tue Apr 18 22:59:33 2006 +0000 +++ b/mapstorage.cc Thu Apr 27 12:20:09 2006 +0000 @@ -268,6 +268,7 @@ if (*it == "label") { //std::cout << "read id edgemap" << std::endl; + read_edge_id = true; } else { @@ -366,6 +367,20 @@ } } + // filter loop edges + for (EdgeIt e(graph); e != INVALID; ++e) + { + if (graph.source(e) == graph.target(e)) + { + std::cerr << "Removed loop edge " << (*edgemap_storage["label"])[e] + << " (from " << (*nodemap_storage["label"])[graph.source(e)] + << ", to " << (*nodemap_storage["label"])[graph.target(e)] << ")." + << std::endl; + + graph.erase(e); + } + } + return 0; }