reprozip-news-apps / reprozip-web

ReproZip for the Preservation of Web Applications
https://reprozip-web.readthedocs.io/en/latest/
BSD 3-Clause "New" or "Revised" License
17 stars 2 forks source link

Clean up container after recording #2

Closed remram44 closed 5 years ago

remram44 commented 5 years ago

Currently when reprounzip dj record exits, the target directory and the reprounzip_image_xxx image still exist (from reprounzip-docker), and a container is still running (reprounzip_detached_xxx).

Those should probably get cleaned up automatically (I'm fine with a --skip-destoy here, matching --skip-setup)