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-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 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
___________________________________________________________ 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: http://lists.bx.psu.edu/