I do now actually get an error message in my browser saying “Error getting history updates from the server. Internal Server Error”

Any ideas?

I suspect it is my proxy server settings but not sure…

Thon

From: galaxy-dev-bounces@lists.bx.psu.edu [mailto:galaxy-dev-bounces@lists.bx.psu.edu] On Behalf Of Anthonius deBoer
Sent: Thursday, February 14, 2013 2:31 PM
To: Galaxy-dev Galaxy-dev
Subject: [galaxy-dev] History does not automatically update anymore

Hi,

I have noticed that in the latest version of galaxy-dist, my history does not automatically update anymore.

I have to press the refresh circle to have it update...

I did change my proxy setup a little, so it would no longer require API calls to be authenticated, while access through the frontend would still require that so it may have something to do with that, but just wanted to check if others see this issue...

I will send out my proxy settings in a later email, since it may help people that are struggling with the same...

Thon