Skip to content

Conversation

seanmonstar
Copy link
Member

If a default timeout is set, and no Timer, a warning will be emitted.

If a timeout is configured by the user, and no Timer is set, it will panic.

Closes #3393

Copy link
Contributor

@tottoto tottoto left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me. I left some questions about the implementation and the document.

@seanmonstar seanmonstar force-pushed the timer-warn-or-panic branch 3 times, most recently from 0e8a1c0 to 1e2c1c5 Compare November 8, 2023 16:29
If a default timeout is set, and no Timer, a warning will be emitted.

If a timeout is configured by the user, and no Timer is set, it will
panic.

Closes #3393
@seanmonstar seanmonstar merged commit f3308c0 into master Nov 8, 2023
@seanmonstar seanmonstar deleted the timer-warn-or-panic branch November 8, 2023 21:07
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.

Decide what to do about a missing Timer

2 participants