what happens when a filename is a base path?

This commit is contained in:
Vítor Santos Costa 2016-02-26 17:30:50 +00:00
parent 0e7cc378af
commit d9fe5133d3

View File

@ -511,6 +511,8 @@ file_directory_name ( USES_REGS1 )
return false; return false;
} }
at = AtomOfTerm(t); at = AtomOfTerm(t);
if (at == AtomEmptyAtom)
at = AtomDot;
if (IsWideAtom(at)) { if (IsWideAtom(at)) {
wchar_t s[YAP_FILENAME_MAX+1]; wchar_t s[YAP_FILENAME_MAX+1];
wchar_t *c = RepAtom(at)->WStrOfAE; wchar_t *c = RepAtom(at)->WStrOfAE;