search

yallop / effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects
947 stars 80 forks source link

bentnib.org outage #101

Closed dhil closed 4 years ago

dhil commented 4 years ago

@bobatkey, your website is currently unavailable; from the CI

Error checking URL http://bentnib.org/interleaving.pdf: HTTPConnectionPool(host='bentnib.org', port=80): Max retries exceeded with url: /interleaving.pdf (Caused by NewConnectionError('<urllib3.connection.HTTPConnection object at 0x7fdcfd9c9898>: Failed to establish a new connection: [Errno 110] Connection timed out',))
Checking http://bentnib.org/interleaving.pdf => FAILED
Error checking URL http://bentnib.org/paramnotions-jfp.pdf: HTTPConnectionPool(host='bentnib.org', port=80): Max retries exceeded with url: /paramnotions-jfp.pdf (Caused by NewConnectionError('<urllib3.connection.HTTPConnection object at 0x7fdcfd2535f8>: Failed to establish a new connection: [Errno 110] Connection timed out',))
Checking http://bentnib.org/paramnotions-jfp.pdf => FAILED
Error checking URL http://bentnib.org/algebras-param-monads.pdf: HTTPConnectionPool(host='bentnib.org', port=80): Max retries exceeded with url: /algebras-param-monads.pdf (Caused by NewConnectionError('<urllib3.connection.HTTPConnection object at 0x7fdcfd9e9a90>: Failed to establish a new connection: [Errno 110] Connection timed out',))
Checking http://bentnib.org/algebras-param-monads.pdf => FAILED
Checking http://homepages.inf.ed.ac.uk/gdp/publications/Logic_Algebraic_Effects.pdf => OK
Error checking URL http://bentnib.org/arrows.pdf: HTTPConnectionPool(host='bentnib.org', port=80): Max retries exceeded with url: /arrows.pdf (Caused by NewConnectionError('<urllib3.connection.HTTPConnection object at 0x7fdcfd9e9358>: Failed to establish a new connection: [Errno 110] Connection timed out',))
Checking http://bentnib.org/arrows.pdf => FAILED

Related PR: #100

dhil commented 4 years ago

Closing. The website is up and running again.

And thanks @yallop for correcting my spelling mistake. Evidently, a small syntactic error can make a big semantic difference.