Commit 48a2605c authored by Fred Drake's avatar Fred Drake

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

os.path.dirname() or os.path.basename() instead
parent 43425b8b
......@@ -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)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment