patchbot down?
14 views
Skip to first unread message
Dima Pasechnik
Sep 22, 2012, 10:03:47 AM9/22/12
to sage-...@googlegroups.com
Is patchbot down? E.g. http://patchbot.sagemath.org/ticket/13211/ says
Apache/2.2.8 (Ubuntu) DAV/2 SVN/1.5.1 mod_python/3.3.1 Python/2.5.2 PHP/5.2.4-2ubuntu5.25 with Suhosin-Patch mod_ssl/2.2.8 OpenSSL/0.9.8g mod_wsgi/2.0 Server at patchbot.sagemath.org Port 80
Service Temporarily Unavailable
The server is temporarily unable to service your request due to maintenance downtime or capacity problems. Please try again later.
Apache/2.2.8 (Ubuntu) DAV/2 SVN/1.5.1 mod_python/3.3.1 Python/2.5.2 PHP/5.2.4-2ubuntu5.25 with Suhosin-Patch mod_ssl/2.2.8 OpenSSL/0.9.8g mod_wsgi/2.0 Server at patchbot.sagemath.org Port 80
Frédéric Chapoton
Sep 22, 2012, 3:22:48 PM9/22/12
to sage-...@googlegroups.com
I am missing the patchbot, too.. Can we hope for its return soon ?
Reply all
Reply to author
Forward
0 new messages