From 28e02e7d1e1416434f125c4e0c4353d9a77783a4 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Tue, 21 Feb 2017 11:51:13 +0000
Subject: [PATCH] Update Web Adjuster, css-generate.py
git-svn-id: http://svn.code.sf.net/p/e-guidedog/code/ssb22/adjuster@2717 29193198-4895-4776-b068-10539e920549
---
adjuster.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/adjuster.py b/adjuster.py
index 45de206..1cbd23f 100755
--- a/adjuster.py
+++ b/adjuster.py
@@ -2830,7 +2830,7 @@ def domain_process(text,cookieHost=None,stopAtOne=False,https=None):
else: count=0
if https==None: lStart = r"https?://"
else: lStart = r"(?:https?://)|(?:(?<=['"+'"'+r"])//)" # 'use current protocol' links, including their use in scripts
- return re.sub("("+lStart+r")([A-Za-z0-9.-]+)(?=[/?'"+'"'+r"]|$)",mFunc,text,count)
+ return re.sub("("+lStart+r")([A-Za-z0-9.-]+)(?=[/?'"+'"'+r"]|$)",mFunc,text,count) # TODO: what about embedded IPv6 addresses i.e. \[[0-9a-fA-F:]*\] in place of hostnames (and what should we rewrite them to?) Hopefully rare as such sites wouldn't be usable by IPv4-only users (although somebody might have IPv6-specific versions of their pages/servers). If making Web Adjuster IPv6 ready, also need to check all instances of using ':' to split host from port as this won't be the case if host is '[' + IPv6 + ']'
def cookie_domain_process(text,cookieHost=None):
start=0
--
GitLab