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:

http://lists.bx.psu.edu/

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: http://lists.bx.psu.edu/