Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Record start and end times for each step when logging #7

Closed
simonw opened this issue Apr 15, 2022 · 2 comments
Closed

Record start and end times for each step when logging #7

simonw opened this issue Apr 15, 2022 · 2 comments
Labels
enhancement New feature or request

Comments

@simonw
Copy link
Owner

simonw commented Apr 15, 2022

No description provided.

@simonw simonw added the enhancement New feature or request label Apr 15, 2022
@simonw simonw mentioned this issue Apr 15, 2022
Closed
@simonw
Copy link
Owner Author

simonw commented Apr 15, 2022

I should use time.perf_counter() for this.

@simonw
Copy link
Owner Author

simonw commented Apr 15, 2022

I'm going to change the logging API entirely - it's only going to handle this. The current _log() mechanism is used to log out things like the query plan, but I'll change that to a different .plan() method you can call instead.

@simonw simonw closed this as completed in 20262d1 Apr 16, 2022
simonw added a commit that referenced this issue Apr 16, 2022
@simonw
Release 0.3
69bdc0b 
Refs #6, #7, #8, #9
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@simonw