Skip to content
This repository was archived by the owner on Nov 22, 2023. It is now read-only.

annotate.py: Generate a warning when source file is newer than logs #453

Closed
colluca opened this issue Jan 11, 2023 · 1 comment
Closed

annotate.py: Generate a warning when source file is newer than logs #453

colluca opened this issue Jan 11, 2023 · 1 comment
Assignees
@colluca
Labels
enhancement New feature or request

Comments

@colluca
Copy link
Contributor

colluca commented Jan 11, 2023

It can happen that one edits the source files and forgets about it when annotating older traces. A warning could be issued to the user when a source file (read during the annotation) is found to have a more recent timestamp than the trace file.
@colluca colluca added the enhancement New feature or request label Jan 11, 2023
@colluca colluca self-assigned this Jan 11, 2023
@colluca
Copy link
Contributor Author

colluca commented Mar 22, 2023

This was solved in #455.

@colluca colluca closed this as completed Mar 22, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@colluca colluca

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@colluca