Hi,
Could someone take a look at the Tool Shed server please? I'm getting this for http://toolshed.g2.bx.psu.edu/
502 Bad Gateway nginx/1.1.4
Thanks,
Peter
Hi Peter,
The tool shed should be functional now. Thanks for reporting this!
Greg
On May 25, 2012, at 6:08 AM, Peter Cock wrote:
Hi,
Could someone take a look at the Tool Shed server please? I'm getting this for http://toolshed.g2.bx.psu.edu/
502 Bad Gateway nginx/1.1.4
Thanks,
Peter ___________________________________________________________ Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at:
On Fri, May 25, 2012 at 12:03 PM, Greg Von Kuster greg@bx.psu.edu wrote:
Hi Peter,
The tool shed should be functional now. Thanks for reporting this!
Greg
It was working again when I got your email, but while I was out to lunch it has gone back to Error 502 Bad Gateway :(
Peter
Working fine as of now.
--hk
-----Original Message----- From: galaxy-dev-bounces@lists.bx.psu.edu [mailto:galaxy-dev-bounces@lists.bx.psu.edu] On Behalf Of Peter Cock Sent: Friday, May 25, 2012 6:09 AM To: galaxy-dev@lists.bx.psu.edu Subject: [galaxy-dev] http://toolshed.g2.bx.psu.edu/ 502 Bad Gateway
Hi,
Could someone take a look at the Tool Shed server please? I'm getting this for http://toolshed.g2.bx.psu.edu/
502 Bad Gateway nginx/1.1.4
Thanks,
Peter ___________________________________________________________ Please keep all replies on the list by using "reply all" in your mail client. To manage your subscriptions to this and other Galaxy lists, please use the interface at:
galaxy-dev@lists.galaxyproject.org