blob: c783173115c33ff516464fe3400e9802446afa85 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Changes wget usage to _allow_ IPv6, but to prefer IPv4. This way, DNS64 and
# IPv6-only http_proxy scenarios should work.
# Patch written by Michael Mol <mikemol@gmail.com>
# Patch based on dialog with upstream, ascertaining their purpose for using
# -4, and coming up with an agreed-upon workaround. Upstream equivalent is
# committed to their vcs, and will probably appear in release 4.1.4.
*** python/lib/Variables.py 2012-07-10 20:43:56.968567114 -0400
--- python/lib/Variables-patched.py 2012-07-10 20:44:21.491898941 -0400
*************** if (os.environ["POL_OS"] == "Mac"):
*** 26,28 ****
os_name = "darwin"
! os.environ["POL_WGET"] = "wget -4 -q"
--- 26,28 ----
os_name = "darwin"
! os.environ["POL_WGET"] = "wget --prefer-family=IPv4 -q"
*************** if (os.environ["POL_OS"] == "Linux"):
*** 39,41 ****
else:
! os.environ["POL_WGET"] = "wget -4 -q"
--- 39,41 ----
else:
! os.environ["POL_WGET"] = "wget --prefer-family=IPv4 -q"
|
GitWeb
