when only using half of the return value of os.path.split(), use

os.path.dirname() or os.path.basename() instead
This commit is contained in:
Fred Drake 2004-10-20 11:08:35 +00:00
parent 4ed315ae66
commit 910b282fbb

View file

@ -283,7 +283,7 @@ def prepare_input_source(source, base = ""):
if source.getByteStream() is None:
sysid = source.getSystemId()
basehead = os.path.split(os.path.normpath(base))[0]
basehead = os.path.dirname(os.path.normpath(base))
sysidfilename = os.path.join(basehead, sysid)
if os.path.isfile(sysidfilename):
source.setSystemId(sysidfilename)