Fix problem with special file types

For special file types like the ones in /dev/ the info
entry's type is neither file neither dir.

We prevent these kind of files from being listed in the
project.
This commit is contained in:
Francesco Abbate 2022-01-05 23:32:26 +01:00
parent 9929ca9c2d
commit 1b57107352
1 changed files with 3 additions and 1 deletions

View File

@ -133,7 +133,9 @@ end
-- in project scan or falsy if it shouldn't appear in the list.
local function get_project_file_info(root, file)
local info = system.get_file_info(root .. file)
if info then
-- info can be not nil but info.type may be nil if is neither a file neither
-- a directory, for example for /dev/* entries on linux.
if info and info.type then
info.filename = strip_leading_path(file)
return fileinfo_pass_filter(info) and info
end