mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
@@ -613,7 +613,11 @@ class Genode::Watcher
|
||||
_watch(fs, alloc, rel_path, handler);
|
||||
}
|
||||
|
||||
~Watcher() { _handle->fs().close(_handle); }
|
||||
~Watcher()
|
||||
{
|
||||
if (_handle)
|
||||
_handle->fs().close(_handle);
|
||||
}
|
||||
};
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user