Fix seashell-cli delete-file error caused by multiple threads deleting the same file

cs136 / seashell

Seashell is an online environment for editing, running, and submitting C programming assignments.

GNU General Public License v3.0

38 stars 19 forks source link

Fix seashell-cli delete-file error caused by multiple threads deleting the same file #871

Closed yc2lee closed 5 years ago

yc2lee commented 5 years ago

Fixes a problem where seashell-cli marmtest sometimes crashes with the error "delete-file: cannot delete file" claiming that "system error: No such file or directory; errno=2"