Garbage Collect Solvers etc.?
2 posters
Page 1 of 1
Garbage Collect Solvers etc.?
by tjark Mon Jun 09, 2014 8:03 am
Hi,
I uploaded and subsequently deleted several solvers in my personal space. They are still shown on my profile page, however, and seem to take up disk quota. This is in no way an urgent matter, but I would like to suggest that StarExec could perhaps garbage-collect solvers (and jobs, etc.) that are no longer accessible from any space.
Best,
Tjark
I uploaded and subsequently deleted several solvers in my personal space. They are still shown on my profile page, however, and seem to take up disk quota. This is in no way an urgent matter, but I would like to suggest that StarExec could perhaps garbage-collect solvers (and jobs, etc.) that are no longer accessible from any space.
Best,
Tjark
tjark- Posts : 11
Join date : 2014-05-15
Re: Garbage Collect Solvers etc.?
by j.waldmann Mon Jun 09, 2014 12:16 pm
... without re-using their Ids, see https://starexec.forumotion.com/t58-immutability-of-data-referenced-by-ids-semantics-of-deletion-recycling
j.waldmann- Posts : 84
Join date : 2014-04-26
Similar topics» Cannot upload new solvers
» Deleting solvers
» One line record with multiple solvers' results for each benchmark in csv file
» Disk quota hit without actual solvers?
» Running solvers with shared lib deps
» Deleting solvers
» One line record with multiple solvers' results for each benchmark in csv file
» Disk quota hit without actual solvers?
» Running solvers with shared lib deps
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum|
|
|