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.




From: galaxy-dev-boun...@lists.bx.psu.edu
[mailto:galaxy-dev-boun...@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




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...




Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:


Reply via email to