[wpiutil] UidVector: Return old object from erase() (#3571)

This makes it possible to erase and then do additional cleanup (e.g. on a unique_ptr).
This commit is contained in:
Peter Johnson
2021-09-15 21:35:20 -07:00
committed by GitHub
parent 5b886a23fd
commit 40c7645d6e
2 changed files with 8 additions and 6 deletions

View File

@@ -216,7 +216,7 @@ class CallbackManager {
return;
}
poller->Terminate();
return thr->m_pollers.erase(poller_uid);
thr->m_pollers.erase(poller_uid);
}
bool WaitForQueue(double timeout) {