Re: [galaxy-dev] Cannot run Galaxy : socket.gaierror: [Errno -2] Name or service not known

2012-11-07 Thread Paul Boddie
On 06/11/12 23:37, Marcelo Timmerman wrote: Agree. But the fact that you cannot easily rapidly debug the failing expression is dissapointing. A backtrace is a lot better than Segmentation fault. Maybe there should be an exception handler that displays a nice message, but then there's the

Re: [galaxy-dev] Cannot run Galaxy : socket.gaierror: [Errno -2] Name or service not known

2012-11-06 Thread Marcelo Timmerman
Subject: Re: [galaxy-dev] Cannot run Galaxy : socket.gaierror: [Errno -2] Name or service not known From: n...@bx.psu.edu Date: Mon, 5 Nov 2012 12:07:59 -0500 CC: yj...@hotmail.com; galaxy-...@bx.psu.edu To: paul.bod...@biotek.uio.no On Nov 5, 2012, at 5:39 AM, Paul Boddie wrote

Re: [galaxy-dev] Cannot run Galaxy : socket.gaierror: [Errno -2] Name or service not known

2012-11-05 Thread Paul Boddie
On 04/11/12 16:39, Marcelo Timmerman wrote: Nobody? Anyone knows if using nginx would avoid the internal HTTP Python server? It appears that nginx is used as a proxy in front of the Python/Paste server, not as a replacement. You could use something like mod_wsgi with Apache instead of that

Re: [galaxy-dev] Cannot run Galaxy : socket.gaierror: [Errno -2] Name or service not known

2012-11-05 Thread Nate Coraor
On Nov 5, 2012, at 5:39 AM, Paul Boddie wrote: On 04/11/12 16:39, Marcelo Timmerman wrote: Nobody? Anyone knows if using nginx would avoid the internal HTTP Python server? It appears that nginx is used as a proxy in front of the Python/Paste server, not as a replacement. You could use

Re: [galaxy-dev] Cannot run Galaxy : socket.gaierror: [Errno -2] Name or service not known

2012-11-04 Thread Marcelo Timmerman
Nobody? Anyone knows if using nginx would avoid the internal HTTP Python server? Sorry guys but I have to tell you this is why Python is considered a crap for big projects. When things like this fail, only the original developer knows how to fix it. Cheers From: yj...@hotmail.com To: