[galaxy-user] Problems with history

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.