You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
So wait [p 0:0:0.5] will properly pick up the timeout as 0.5 second.
Without the change, if the timeout is of type TIME, it's ignored, which makes
`wait [p 0:0:0.5]' equivalent to `wait [p]' which waits forever until `p' has
events.
(cherry picked from commit 2111dae)
0 commit comments