Fix Issue #4875: find_library can return directories instead of files

(on win32)
This commit is contained in:
Thomas Heller 2009-05-05 18:55:47 +00:00
parent a985a3aee4
commit a57773e483
2 changed files with 5 additions and 2 deletions

View file

@ -52,12 +52,12 @@ def find_library(name):
# See MSDN for the REAL search order.
for directory in os.environ['PATH'].split(os.pathsep):
fname = os.path.join(directory, name)
if os.path.exists(fname):
if os.path.isfile(fname):
return fname
if fname.lower().endswith(".dll"):
continue
fname = fname + ".dll"
if os.path.exists(fname):
if os.path.isfile(fname):
return fname
return None