deallocate used buffers in buffer_pool dtor

This commit is contained in:
Andre Puschmann 2018-03-08 18:00:35 +01:00
parent cbda94f0a6
commit 43811e1886
1 changed files with 4 additions and 0 deletions

View File

@ -72,6 +72,10 @@ public:
delete available.top();
available.pop();
}
for (uint32_t i = 0; i < used.size(); i++) {
delete used[i];
}
}
void print_all_buffers()