[galaxy-dev] Ratings on Tool Shed broken?

Hi all,

I had wondered why none of the tools on the Galaxy Tool Shed had a rating, and had assumed it was just that so far no-one had bothered. I have a new theory, it doesn't work?

I just viewed Brad's "BAM to BigWig" tool, clicked on "Tool Actions" then "Rate Tool", and got:

Server Error An error occurred. See the error logs for more information. (Turn debug on to display exception reports here)

Can anyone reproduce this? I've tried a couple of other tools and the same thing happens.

Thanks,

Peter