Details
-
Bug
-
Status: Resolved
-
P2
-
Resolution: Fixed
-
None
Description
Currently interactive_environment.cleanup() tries to cleanup the same cache twice: inside cleanup() itself and during cleaning up the recording manager. On some filesystems the file deletion process may happen asynchronously, which results in the error when trying to delete file and then almost immediately access it again.
Attachments
Issue Links
- links to