diff options
Diffstat (limited to 'tools/gator/daemon/Driver.cpp')
| -rw-r--r-- | tools/gator/daemon/Driver.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/gator/daemon/Driver.cpp b/tools/gator/daemon/Driver.cpp index 72c731424bde..872ab7b02d6a 100644 --- a/tools/gator/daemon/Driver.cpp +++ b/tools/gator/daemon/Driver.cpp @@ -43,6 +43,9 @@ DriverCounter *SimpleDriver::findCounter(const Counter &counter) const { return NULL; } +Driver::~Driver() { +} + bool SimpleDriver::claimCounter(const Counter &counter) const { return findCounter(counter) != NULL; } |