Skip to content

Conversation

@PapaPedro
Copy link
Contributor

@PapaPedro PapaPedro commented Feb 16, 2021

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

The file reporter writes the profile into a local file, current
timestamp is added in the file name, unfortunately that timestamp was
set at load time because of the default argument so each reports would
always go into the same file.

This small fix will ensure that different files will be created and the
file name will get proper timestamp.
@gimki gimki merged commit 5423ebd into main Feb 16, 2021
@PapaPedro PapaPedro deleted the file_reporter_bug_fix branch March 5, 2021 11:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants