text files and other typed files cannot be directoried
This commit is contained in:
parent
b90685fe59
commit
b65dee6b3a
@ -221,11 +221,10 @@ absolute_file_name(File,Opts,TrueFileName) :-
|
|||||||
'$check_file'(F, _Type, none, F) :- !.
|
'$check_file'(F, _Type, none, F) :- !.
|
||||||
'$check_file'(F0, Type, Access, F0) :-
|
'$check_file'(F0, Type, Access, F0) :-
|
||||||
access_file(F0, Access),
|
access_file(F0, Access),
|
||||||
(Type == directory
|
(Type == directory ->
|
||||||
->
|
|
||||||
exists_directory(F0)
|
exists_directory(F0)
|
||||||
;
|
;
|
||||||
true
|
\+ exists_directory(F0) % if it has a type cannot be a directory.
|
||||||
).
|
).
|
||||||
|
|
||||||
'$add_extensions'([Ext|_],File,F) :-
|
'$add_extensions'([Ext|_],File,F) :-
|
||||||
|
Reference in New Issue
Block a user