Fix misdetect redirection if original URL includes "/" on tail

This commit is contained in:
Takeshi KOMIYA 2016-06-01 10:54:52 +09:00
parent 2192e2c183
commit 6af14bf6d8

View File

@ -241,7 +241,7 @@ def fetch_inventory(app, uri, inv):
newuri = f.geturl()
if newuri.endswith("/" + INVENTORY_FILENAME):
newuri = newuri[:-len(INVENTORY_FILENAME) - 1]
if uri != newuri:
if uri != newuri and uri != newuri + "/":
app.info('intersphinx inventory has moved: %s -> %s' % (uri, newuri))
uri = newuri
line = f.readline().rstrip().decode('utf-8')