From 1eb37fbe2254625696fc01fbe9abe5a9aa465921 Mon Sep 17 00:00:00 2001 From: Emery Hemingway Date: Mon, 5 Jun 2017 11:06:20 -0500 Subject: [PATCH] VFS: move 'sync' from 'File_system' to 'Directory_service' The the parent 'Directory_service' interface is reachable from 'Vfs_handle', whereas the 'File_system' interface is not. Fix #2437 Ref #2422 --- repos/os/include/vfs/directory_service.h | 7 +++++++ repos/os/include/vfs/file_system.h | 7 ------- 2 files changed, 7 insertions(+), 7 deletions(-) diff --git a/repos/os/include/vfs/directory_service.h b/repos/os/include/vfs/directory_service.h index 06dc19250..5c2b69bc1 100644 --- a/repos/os/include/vfs/directory_service.h +++ b/repos/os/include/vfs/directory_service.h @@ -188,6 +188,13 @@ struct Vfs::Directory_service virtual bool directory(char const *path) = 0; virtual char const *leaf_path(char const *path) = 0; + + /** + * Synchronize file system + * + * This method flushes any delayed operations from the file system. + */ + virtual void sync(char const *path) { } }; #endif /* _INCLUDE__VFS__DIRECTORY_SERVICE_H_ */ diff --git a/repos/os/include/vfs/file_system.h b/repos/os/include/vfs/file_system.h index 28d3616f0..5925ceae2 100644 --- a/repos/os/include/vfs/file_system.h +++ b/repos/os/include/vfs/file_system.h @@ -29,13 +29,6 @@ struct Vfs::File_system : Directory_service, File_io_service File_system() : next(0) { } - /** - * Synchronize file system - * - * This method flushes any delayed operations from the file system. - */ - virtual void sync(char const *path) { } - /** * Adjust to configuration changes */