tlaplus.net is down
James Fisher
However, all HTTP requests to http://www.tlaplus.net/.. and http://tlaplus.net/.. give me a page saying "Diese Präsenz ist derzeit nicht verfügbar." Like so:
> curl -v -X GET http://www.tlaplus.net/tools/tla-toolbox/
* Hostname was NOT found in DNS cache
* Trying 80.67.28.152...
* Connected to www.tlaplus.net (80.67.28.152) port 80 (#0)
> GET /tools/tla-toolbox/ HTTP/1.1
> User-Agent: curl/7.37.1
> Host: www.tlaplus.net
> Accept: */*
>
< HTTP/1.1 200 OK
< Date: Mon, 17 Nov 2014 22:37:09 GMT
* Server Apache/2.2.22 is not blacklisted
< Server: Apache/2.2.22
< Last-Modified: Thu, 30 Jan 2014 11:48:28 GMT
< ETag: "6ca8131-160-4f12ea2be1b00"
< Accept-Ranges: bytes
< Content-Length: 352
< Connection: close
< Content-Type: text/html
<
<html>
<head>
<title>Nicht verfügbar</title>
<meta HTTP-EQUIV="Pragma" CONTENT="no-cache">
<meta HTTP-EQUIV="Expires" CONTENT="-1">
</head>
<body bgcolor="#FFFFFF">
<h2>Diese Präsenz ist derzeit nicht verfügbar.</h2>
</body>
<head>
<meta HTTP-EQUIV="Pragma" CONTENT="no-cache">
<meta HTTP-EQUIV="Expires" CONTENT="-1">
</head>
</html>
* Closing connection 0
Leslie Lamport
On Monday, November 17, 2014 2:40:18 PM UTC-8, James Fisher wrote:
I see several links on the web to pages on tlaplus.net. For example, the Wikipedia page https://en.wikipedia.org/wiki/Temporal_logic_of_actions links to the URL http://www.tlaplus.net/tools/tla-toolbox/ .
However, all HTTP requests to http://www.tlaplus.net/.. and http://www.google.com/url?q=http%3A%2F%2Ftlaplus.net%2F&sa=D&sntz=1&usg=AFQjCNGv_9MeImPWrlCeg81BtcVHcSPKbg.. give me a page saying "Diese Präsenz ist derzeit nicht verfügbar." Like so:
