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

vfs server: fix File_system namespace warnings

This commit is contained in:
Ehmry - 2019-11-28 13:49:20 +01:00
parent 0797619d29
commit 63c4974587
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/server/vfs/main.cc
View File

@ -232,7 +232,7 @@ class Vfs_server::Session_component : private Session_resources,
} }
}); });
} }
catch (File_system::Invalid_handle) { catch (::File_system::Invalid_handle) {
consume_and_ack_invalid_packet(); } consume_and_ack_invalid_packet(); }
if (!progress_in_iteration) if (!progress_in_iteration)

4
repos/os/src/server/vfs/node.h
View File

@ -443,7 +443,7 @@ class Vfs_server::Io_node : public Vfs_server::Node,
void _execute_write_timestamp() void _execute_write_timestamp()
{ {
try { try {
_packet.with_timestamp([&] (File_system::Timestamp const time) { _packet.with_timestamp([&] (::File_system::Timestamp const time) {
Vfs::Timestamp ts { .value = time.value }; Vfs::Timestamp ts { .value = time.value };
_handle.fs().update_modification_timestamp(&_handle, ts); _handle.fs().update_modification_timestamp(&_handle, ts);
}); });
@ -868,7 +868,7 @@ struct Vfs_server::Directory : Io_node
Session_writeable const _writeable; Session_writeable const _writeable;
typedef Directory_service::Dirent Vfs_dirent; typedef Directory_service::Dirent Vfs_dirent;
typedef File_system::Directory_entry Fs_dirent; typedef ::File_system::Directory_entry Fs_dirent;
bool _position_and_length_aligned_with_dirent_size() bool _position_and_length_aligned_with_dirent_size()
{ {