mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 08:03:59 +00:00
fs_tool: add missing whitespace in warning message
This commit is contained in:
parent
123df93741
commit
ed8e8b9473
@ -3,9 +3,9 @@
|
||||
<events>
|
||||
<timeout meaning="failed" sec="20" />
|
||||
<log meaning="succeeded">
|
||||
[init -> test -> remove] *file/items cannot be removed because it is a directory*
|
||||
[init -> test -> remove] *file /items cannot be removed because it is a directory*
|
||||
[init -> test -> remove] remove file /items/2*
|
||||
[init -> test -> remove] *file/3 cannot be removed because there is no such file*
|
||||
[init -> test -> remove] *file /3 cannot be removed because there is no such file*
|
||||
[init -> test -> remove] remove file /4*
|
||||
[init -> report_rom] report 'test -> fs_query -> listing'
|
||||
[init -> report_rom] <listing>
|
||||
|
@ -108,9 +108,9 @@ void Fs_tool::Main::_remove_file(Xml_node const &operation)
|
||||
|
||||
if (_verbose) {
|
||||
if (_root_dir.directory_exists(path))
|
||||
warning("file", path, " cannot be removed because it is a directory");
|
||||
warning("file ", path, " cannot be removed because it is a directory");
|
||||
else
|
||||
warning("file", path, " cannot be removed because there is no such file");
|
||||
warning("file ", path, " cannot be removed because there is no such file");
|
||||
}
|
||||
return;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user