-
Notifications
You must be signed in to change notification settings - Fork 13
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Bypass cleanup of temporary dirs if needed #389
base: main
Are you sure you want to change the base?
Conversation
c3c774f
to
399d443
Compare
Codecov ReportAttention: Patch coverage is
Additional details and impacted files@@ Coverage Diff @@
## main #389 +/- ##
==========================================
- Coverage 87.52% 87.39% -0.13%
==========================================
Files 129 129
Lines 5332 5341 +9
Branches 857 861 +4
==========================================
+ Hits 4667 4668 +1
- Misses 492 496 +4
- Partials 173 177 +4
Flags with carried forward coverage won't be shown. Click here to find out more.
|
|
@@ -40,15 +40,20 @@ class WorkDirManager: | |||
The path to the element directory. | |||
root_tempdir : pathlib.Path or None | |||
The path to the root temporary directory. | |||
cleanup : bool |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
cleanup : bool, optional
@@ -40,15 +40,20 @@ class WorkDirManager: | |||
The path to the element directory. | |||
root_tempdir : pathlib.Path or None | |||
The path to the root temporary directory. | |||
cleanup : bool | |||
If false, the directories are not cleaned up after the object is |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
false -> False
@@ -40,15 +40,20 @@ class WorkDirManager: | |||
The path to the element directory. | |||
root_tempdir : pathlib.Path or None | |||
The path to the root temporary directory. | |||
cleanup : bool | |||
If false, the directories are not cleaned up after the object is | |||
destroyed. This is useful for debugging purposes. Default is True. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
. Default is True. -> purposes (default True).
This PR adds a
cleanup
parameter to theWorkDirManager
, which allows to disable cleaning up temporary directories. While this does not add any important feature to the user, it allows to keep temporary files in case developers want to trace potential issues, mosly when using external tools.