Fix #3828 (Error 13, 'Permission denied'))

This commit is contained in:
Kovid Goyal 2009-10-28 10:25:53 -06:00
parent 619a4d6e77
commit d3b61d9094

View File

@ -409,6 +409,9 @@ class HTMLInput(InputFormatPlugin):
link = os.path.abspath(link)
if not os.access(link, os.R_OK):
return link_
if os.path.isdir(link):
self.log.warn(link_, 'is a link to a directory. Ignoring.')
return link_
if not islinux:
link = link.lower()
if link not in self.added_resources: