Thks Thomas,
Indeed the configuration you provide is the one we use here.
However we do not use the nginx proxy (yet ;-))
We are waiting for the next galaxy-dist release to see if it will fix
our problem.
Vincent
Vincent Navratil, PhD
IR UCBL - PRABI
http://www.prabi.fr
Bâtiment Gregor Mendel
Dear galaxy-dev team,
We have configured a galaxy-dist server (stable release) behind an
Apache2 proxy (with mod_xsendfile) by following the galaxy wiki.
We would like to use the galaxy embeded user authentification with
require_login=True option instead of a remote_user configuration on
Hi Vincent,
I think there was an error that was fixed recently. If you can, please try
yo upgrade or wait a few more days until the new galaxy-dist version is
released.
Bjoern
2014-02-04 navratil navra...@prabi.fr:
Dear galaxy-dev team,
We have configured a galaxy-dist server (stable
On 04/02/2014 16:37, navratil wrote:
Dear galaxy-dev team,
We have configured a galaxy-dist server (stable release) behind an
Apache2 proxy (with mod_xsendfile) by following the galaxy wiki.
We would like to use the galaxy embeded user authentification with
require_login=True option
