mirror of
https://github.com/zeek/zeek.git
synced 2025-10-10 02:28:21 +00:00
Ignore a couple of known-unused results reported by Coverity
This commit is contained in:
parent
d4cb3c8225
commit
2da3b3a2a6
3 changed files with 24 additions and 6 deletions
|
@ -68,7 +68,12 @@ private:
|
|||
class Deferred {
|
||||
public:
|
||||
Deferred(std::function<void()> deferred) : deferred(std::move(deferred)) {}
|
||||
~Deferred() { deferred(); }
|
||||
~Deferred() {
|
||||
if ( deferred ) {
|
||||
deferred();
|
||||
}
|
||||
}
|
||||
void Cancel() { deferred = nullptr; }
|
||||
|
||||
private:
|
||||
std::function<void()> deferred;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue