And I can answer the first part;  this is a known issue we're trying to nail down and get a fix out for this week, along with a base volume update to address other issues.  Trello card: https://trello.com/c/8XSIeoG0


On Tue, Oct 15, 2013 at 10:23 AM, Peter Cock <p.j.a.cock@googlemail.com> wrote:
On Tue, Oct 15, 2013 at 10:13 AM, Stanislas Werfel
<Werfel@ipt.med.tum.de> wrote:
>
> I'm also having another issue: when I delete files in the history in galaxy,
> they don't acually get deleted in the files/000/ folder. And galaxy is still
> showing them under "Using ..." in the total space used. So if I download
> a 3GB fastq file, then delete everything in the history, Using is still showing
> 3GB and the file is still there in the folder.

I can't help with the first problem, but I believe the second is easier:
The data isn't immediately deleted and therefore your usage figure
(and quota) do not get updated right away. This is usually done via a
house keeping cron job, see:

http://wiki.galaxyproject.org/Admin/Config/Performance/Purge%20Histories%20and%20Datasets

Peter
___________________________________________________________
Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
  http://lists.bx.psu.edu/

To search Galaxy mailing lists use the unified search at:
  http://galaxyproject.org/search/mailinglists/