-------- ???????? ????????? --------
????:   deleting datasets from history
????:   Tue, 5 Jul 2011 19:58:45 +0300
??:     Sergei Ryazansky <s.ryazan...@gmail.com>
????:   galaxy-user-requ...@lists.bx.psu.edu

Hello all,

After the deleating datasets from the history panel in our Galaxy mirror the indicator at the top right corner shows the same amount of used space as before deleting. Also, the files corresponded to the datasets remains in the Galaxy database/files/000 directory. It seems, that deleting of datasets from history is only delete the launch to file but not the file itself. How to configure the Galaxy mirror to delete not only records in history panel but also the corresponed files?
Thank you in advance!
The Galaxy User list should be used for the discussion of
Galaxy analysis and other features on the public server
at usegalaxy.org.  Please keep all replies on the list by
using "reply all" in your mail client.  For discussion of
local Galaxy instances and the Galaxy source code, please
use the Galaxy Development list:


To manage your subscriptions to this and other Galaxy lists,
please use the interface at:


Reply via email to