HTML Input: Fix silly bug in case sensitivity detection

This commit is contained in:
Kovid Goyal 2010-05-09 11:27:15 -06:00
parent 8a4f0d80a3
commit 1301291729

View File

@ -296,8 +296,8 @@ class HTMLInput(InputFormatPlugin):
return self._is_case_sensitive return self._is_case_sensitive
if not path or not os.path.exists(path): if not path or not os.path.exists(path):
return islinux or isfreebsd return islinux or isfreebsd
self._is_case_sensitive = os.path.exists(path.lower()) \ self._is_case_sensitive = not (os.path.exists(path.lower()) \
and os.path.exists(path.upper()) and os.path.exists(path.upper()))
return self._is_case_sensitive return self._is_case_sensitive
def create_oebbook(self, htmlpath, basedir, opts, log, mi): def create_oebbook(self, htmlpath, basedir, opts, log, mi):