97 |
* Give back a region that belongs to an instrument that |
* Give back a region that belongs to an instrument that |
98 |
* was previously handed back. |
* was previously handed back. |
99 |
*/ |
*/ |
100 |
virtual void HandBackRegion(R* pRegion) OVERRIDE { |
virtual void HandBackRegion(R* pRegion) { |
101 |
LockGuard lock(RegionInfoMutex); |
LockGuard lock(RegionInfoMutex); |
102 |
if (RegionInfo.find(pRegion) == RegionInfo.end()) { |
if (RegionInfo.find(pRegion) == RegionInfo.end()) { |
103 |
std::cerr << "Handing back unknown region. This is a BUG!!!" << std::endl; |
std::cerr << "Handing back unknown region. This is a BUG!!!" << std::endl; |