# e.g., Convert http://a.com/a/ to https://a.com/a/blahblah.ks
# Works for file-indexing html
if ksURL[-3:].lower() != ".ks":
+ error = 0
if ksURL[-1:] != "/":
ksURL += "/"
r = requests.get(ksURL)
- m = re.search('>([^<]*\\.ks)\\s*<', r.text)
- if not m.group(1):
+ if r.status_code == requests.codes.ok:
+ m = re.search('>([^<]*\\.ks)\\s*<', r.text)
+ else:
+ error = 1
+ if error == 0 and not m.group(1):
m = re.search('"([^"]*\\.ks)\\s*"', r.text)
if not m.group(1):
m = re.search("'([^']*\\.ks)\\s*'", r.text)
if not m.group(1):
- node['icon'] = 'glyphicon glyphicon-remove-sign'
- node['tooltip'] = 'Cannot find image base from' + ksURL
- return node
+ error = 1
+ if error == 1:
+ node['icon'] = 'glyphicon glyphicon-remove-sign'
+ node['tooltip'] = 'Cannot find image base from' + ksURL
+ return node
ksURL += m.group(1)
node['tooltip'] = 'Image base from '+ksURL
node['ks'] = ksURL