Remove initialized file before sandbox cleanup.

judge0 · Apr 7, 2020 · 514aec5 · 514aec5
1 parent bca81a7
commit 514aec5
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/app/jobs/isolate_job.rb b/app/jobs/isolate_job.rb
@@ -252,6 +252,9 @@ def verify
   def cleanup(raise_exception = true)
     fix_permissions
     `sudo rm -rf #{boxdir}/* #{tmpdir}/*`
+    [stdin_file, stdout_file, stderr_file, metadata_file].each do |f|
+      `sudo rm -rf #{f}`
+    end
     `isolate #{cgroups} -b #{box_id} --cleanup`
     raise "Cleanup of sandbox #{box_id} failed." if raise_exception && Dir.exists?(workdir)
   end