Shaun, this was a separate issue that we believe is fixed - can you try one more update? Thanks!
SHAUN WEBB wrote:
Thanks, that seems to have solved the deleted history items problem. I'm still having a problem with the history automatically refreshing.
It's the same on Firefox and Safari.
Shaun
Quoting Greg Von Kuster ghv2@psu.edu:
Hello Shaun,
No, this is a bug that had not quite made it out to our public distribution, but it has now. Please update again, and you should have the fix. Sorry for the inconvenience.
Greg Von Kuster Galaxy Development Team
SHAUN WEBB wrote:
I have just updated galaxy with the latest mercurial change sets and I am having a few problems with the history.
The history is not automatically refreshing so new jobs appear to still be queuing/running.
Also, I can't permanently delete an item from the history. It remains with the message "This item has been deleted" even if I try to delete it again. Is this a feature in the latest update.
Is anyone else having these problems?
Shaun
--The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.