`File upload exercises`: Fix an issue with old file submissions not being deleted#7276

Merged

krusche merged 3 commits intols1intum:developfrom theblobinthesky:bugfix/7275-new-file-doesnt-delete-old-file

Oct 3, 2023

+10-4

Commits on Sep 27, 2023

Report error if to-be-deleted file does not exist.
theblobinthesky
committed
Converting public path to actual path prior to scheduling deletion.
theblobinthesky
committed
Use FilePathService service instead of custom method.
theblobinthesky
committed