Thanks Nicolas, I committed your fix.
Ali
On Feb 10, 2008, at 6:54 PM, Nicolas Zea wrote:
Using 2.0b4
Line 310:
if (i != portMap.end())
dest_id = i->second;
updatePortCache(dest_id, i->first.start, i->first.end);
should probably be changed to:
if (i != portMap.end()){
dest_
Using 2.0b4
Line 310:
if (i != portMap.end())
dest_id = i->second;
updatePortCache(dest_id, i->first.start, i->first.end);
should probably be changed to:
if (i != portMap.end()){
dest_id = i->second;
updatePortCache(dest_id, i->first.start, i->first.end);
}
__