[galaxy-dev] Deleting tmp files

Hi all, I would just like to ask if the tmp files in the galaxy-dist/database/tmp could be removed manually. Also, I ran into this error when I was purging my deleted datasets: Error attempting to purge data file: /home/applications/galaxy-dist/database/files/000/dataset_89.dat error: unsupported operand type(s) for -=: 'Decimal' and 'NoneType' What does that mean? I am new to Galaxy and to python, so I was a bit confused after seeing this error. The purging went on fine, though. The datasets have been removed from the database. Cheers, CL