dear all,

When I try to install a tool from our local toolshed Galaxy changes the repository url from HTTPS to HTTP and throws an error.

I'm setting up a local (intranet) toolshed for some of our in house tools.
We run galaxy (latest stable) on HTTPS://nioo0025.nioo.int/galaxy
The toolshed is setup at HTTPS://nioo0025.nioo.int/toolshed

My tool_sheds_conf.xml contains:
(note the HTTPS protocol)

<?xml version="1.0"?>
<tool_sheds>
    <tool_shed name="Galaxy main tool shed" url="http://toolshed.g2.bx.psu.edu/"/>
    <tool_shed name="Galaxy test tool shed" url="http://testtoolshed.g2.bx.psu.edu/"/>
    <tool_shed name="NIOO Galaxy tool shed" url="https://nioo0025.nioo.int/toolshed/"/>
</tool_sheds>

So far so good. The toolshed works and I can upload tool tarballs I created. Galaxy sees the toolshed and the uploaded tool. When I try to install the tool I get the following message:

paster.log:tool_shed.tool_shed_registry DEBUG 2014-01-27 16:00:13,485 Invalid url 'http://nioo0025.nioo.int/toolshed/' received by tool shed registry's password_manager_for_url method.
paster.log:10.128.34.21 - - [27/Jan/2014:16:00:13 +0200] "GET /galaxy/admin_toolshed/prepare_for_install?tool_shed_url=http://nioo0025.nioo.int/toolshed/&repository_ids=6c73c198d6105528&changeset_revisions=d4127427fd4c HTTP/1.1" 500 - "-" "Mozilla/5.0 (X11; Ubuntu; Linux x86_64; rv:26.0) Gecko/20100101 Firefox/26.0"

basically telling me that our Galaxy instance tries to access the toolshed repo via HTTP instead of HTTPS.

How can I instruct Galaxy to use the https location of the toolshed as specified in
tool_sheds_conf.xml?

Thanks for any help
Victor