denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

core: remove warning about possibly leaking resources

Browse Source 
Too many false positives...

Issue #2398
This commit is contained in:
Christian Helmuth
2017-05-24 15:04:54 +02:00
parent e7b1cb4a27
commit ea48f1f1cc
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/src/core/include/account.h
View File

@@ -87,8 +87,6 @@ class Genode::Account
if (_quota_guard.used().value > _initial_used.value) {
UNIT const dangling { _quota_guard.used().value - _initial_used.value };
warning("destroying account with allocated (possibly leaking?) "
"resources (", dangling, " ", UNIT::name(),")");
_quota_guard.replenish(dangling);
}