ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-19 11:16:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vfs server: fix File_system namespace warnings

Browse Source 
Issue #3564
This commit is contained in:
Emery Hemingway 2019-11-28 13:49:20 +01:00 committed by Christian Helmuth
parent c1e181a407
commit 091e5157aa
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(); }
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()
{
try {
_packet.with_timestamp([&] (File_system::Timestamp const time) {
_packet.with_timestamp([&] (::File_system::Timestamp const time) {
Vfs::Timestamp ts { .value = time.value };
_handle.fs().update_modification_timestamp(&_handle, ts);
});
@ -868,7 +868,7 @@ struct Vfs_server::Directory : Io_node
Session_writeable const _writeable;
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()
{