diff options
| author | Jacob Walls <jacobtylerwalls@gmail.com> | 2022-07-10 10:14:49 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-10 10:14:49 -0400 |
| commit | d751c21336c053d81c1aeef434ae17da5655793a (patch) | |
| tree | 7853541a7e485cb8dd2f404673315af1c2422897 /pylint/lint | |
| parent | b9419a28f4e4b651938bebfc65222dfb9a40832d (diff) | |
| download | pylint-git-d751c21336c053d81c1aeef434ae17da5655793a.tar.gz | |
Prevent appending distinct crash reports together that occur in the same hour (#7154)
Diffstat (limited to 'pylint/lint')
| -rw-r--r-- | pylint/lint/pylinter.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pylint/lint/pylinter.py b/pylint/lint/pylinter.py index e2bbf061e..96e7cb923 100644 --- a/pylint/lint/pylinter.py +++ b/pylint/lint/pylinter.py @@ -259,7 +259,7 @@ class PyLinter( name = MAIN_CHECKER_NAME msgs = MSGS # Will be used like this : datetime.now().strftime(crash_file_path) - crash_file_path: str = "pylint-crash-%Y-%m-%d-%H.txt" + crash_file_path: str = "pylint-crash-%Y-%m-%d-%H-%M-%S.txt" option_groups_descs = { "Messages control": "Options controlling analysis messages", |