Re: [galaxy-dev] Deleting history entries not working, javascript void link?

2013-11-05 Thread Carl Eberhard
Hello, Peter. Thanks for the report. There was an error in the javascript error handling of purge_async which is now fixed in stable:11227:151b7d3b2f1b. In the instances you mention, you should now see an error message in the history 'Unable to purge this dataset': This is because of two possible

[galaxy-dev] Deleting history entries not working, javascript void link?

2013-11-05 Thread Peter Cock
Hi all, I've just updated our main Galaxy to release_2013.11.04 but also see the following problem on galaxy-central, and on https://usegalaxy.org/ as well. (1) Go to any history with deleted files (2) Cog icon, tick "Include Deleted datasets" (3) Look at a deleted dataset in your history column,