Re: [galaxy-dev] http://toolshed.g2.bx.psu.edu/ 502 Bad Gateway

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/