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, note the yellow "Warning" box with text:
This dataset has been deleted. Click *here* to undelete it or *here* to immediately remove it from disk
(4) Notice the first *here* link (undelete) has a sensible URL, e.g. as shown via your browser's status bar or right click to copy the URL. (5) Notice the second *here* (remove) has this as the URL: javascript:void(0)
Unsurprisingly, the remove link has no effect as it is a JavaScript command to do nothing, and the user cannot therefore purge the file from their history.
I've confirmed this on multiple browsers on multiple machines.
Regards,
Peter