M2
M2 copied to clipboard
diversion of web service
On an airplane, before paying for internet service, all web accesses are diverted to the registration page:
i5 : getWWW "http://yahoo.com/"
o5 = HTTP/1.1 302 Found
Server: squid/3.5.2
Date: Wed, 26 Jul 2017 18:52:08 GMT
Content-Length: 0
Location: http://www.unitedwifi.com/index.htm
X-Cache: MISS from 3
Via: 1.1 3 (squid)
Connection: close
And here's what "wget" gets:
<!DOCTYPE HTML>
<html lang="en-US">
<head>
<meta charset="UTF-8">
<meta http-equiv="refresh" content="1;url=https://www.unitedwifi.com">
<script type="text/javascript">
window.location.href = "https://www.unitedwifi.com/portal/l/index"
</script>
<title>Page Redirection</title>
</head>
<body>
<!-- Note: don't tell people to `click` the link, just tell them that it is a link. -->
If you are not redirected automatically, follow the <a href='https://www.unitedwifi.com'>link to United Wifi Portal</a>
</body>
</html>
This makes the package ReflexivePolytopesDB fail when it tries to fetch a file!
General lesson: getWWW may fail even if it generates no error. Check all packages that use it.
I don't think any packages use getWWW during install anymore. Is there a way to make getWWW throw an error during install?