16 Jul
2009
16 Jul
'09
9:15 p.m.
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.