[galaxy-dev] Galaxy API prob with HTTP_REMOTE_USER

Hi all,

We encountoured an error with the galaxy api since the last galaxy-dist revision.

here is an example of a command line that doesn't work (xxx stand for the admin key) :

./display.py xxxxxxxxxxxxxxxxxxxxxxxxxx http://localhost:18084/api/users

we obtain the following error:

HTTP Error 500: Internal Server Error

As you can see, the request is done locally, without going through a proxy or apache.

The galaxy log is the following:

127.0.0.1 - - [23/Apr/2013:19:55:26 +0200] "GET /api/users?key= xxxxxxxxxxxxxxxxxxxxx HTTP/1.1" 500 - "-" "Python-urllib/2.6" Error - <type 'exceptions.AssertionError'>: use_remote_user is set but no HTTP_REMOTE_USER variable

Do you have an idea to solve this problem? Thank in advance for your answer. Best regards