add missing directory_files/2

This commit is contained in:
Vítor Santos Costa 2015-11-13 13:21:21 +00:00
parent bc54d4458a
commit 120d6ff19a

View File

@ -507,6 +507,9 @@ delete_dirfiles([F|Fs], File, Ignore) :-
delete_file(TrueF, off, on, Ignore),
delete_dirfiles(Fs, File, Ignore).
directory_files(File, FileList) :-
directory_files(File, FileList, on).
directory_files(File, FileList, Ignore) :-
list_directory(File, FileList, Error),
handle_system_internal(Error, Ignore, directory_files(File, FileList)).