Hello, I'd like to suggest a small feature: A new report page that helps finding datasets information based on ID. This report allows getting all the information about a dataset ( user email, history name, dataset name, file path on server) based on either the Dataset-ID or the HistoryDatasetAssociation-ID. I think this tool is useful for Galaxy servers with small number of users (as it is in my case). It might be also useful for 'larger' Galaxies. This tool serves two common scenarios: 1. When a tool crashes, or generates and error, or just outputs something weird - if the tool has a log, or if I look at the galaxy log - I can easily see the input dataset that was used with this tool (e.g. 'dataset_1192.dat') - Now I want to know what was this file, which user used it, and for what (As I said - in a small Galaxy I personally know all the users). So I just go to this report page, enter 1192 as the File-ID, and get all the needed information. 2. When a user complains about something not working properly, or when I want to change a dataset in-place without creating a new dataset (again, probably something that happens only with on a small Galaxy) - I just ask the user for the number of the dataset, and with this report I quickly find out which file on the local disk correspond to the user's dataset. Regards, - Gordon.
