ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

lib/vfs/rump: safely destroy dir and file handles

This commit is contained in:
Christian Helmuth 2017-11-28 16:24:13 +01:00
parent 1556300ea6
commit 0923ea5bea
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
repos/dde_rump/src/lib/vfs/rump/vfs_rump.cc
View File

@ -527,11 +527,11 @@ class Vfs::Rump_file_system : public File_system
void close(Vfs_handle *vfs_handle) override
{
Rump_vfs_file_handle *rump_handle =
static_cast<Rump_vfs_file_handle *>(vfs_handle);
if (rump_handle)
destroy(vfs_handle->alloc(), rump_handle);
if (dynamic_cast<Rump_vfs_file_handle *>(vfs_handle)
|| dynamic_cast<Rump_vfs_dir_handle *>(vfs_handle)) {
destroy(vfs_handle->alloc(), vfs_handle);
return;
}
}
Stat_result stat(char const *path, Stat &stat)