After downloading a file, how does one delete it so it doesn't just show as expired?

[siggemannen]

Is your feature request related to a problem? Please describe.

The old API had this possibility, now the files seem to lie around forever which triggers my latent OCD and probably affects the performance of the system with all those files lying around

Describe the solution you'd like

An API or whatever method to delete the request file by ID

Describe alternatives you've considered

Trying to figure out how website deletes stuff and try to implement it manually

[zhoumouse]

Similar concern. I have written a code to delete finished request, but it doesn't work.

#!/usr/bin/env python3
import cdsapi
rid = '8e17c265-1e3d-4e07-bfdb-3121d1bd20d4'
client = cdsapi.Client()
task_url = '/'.join([client.url,'tasks',rid])
client.session.delete(task_url)