julia
Profile: Use grace period to avoid trailing signals from timer
#44268

Merged

Profile: Use grace period to avoid trailing signals from timer #44268

IanButterworth merged 5 commits into JuliaLang:master from IanButterworth:ib/time_ms_fix

add missing include for sleep_ms

44962247

KristofferC added backport 1.8

Merge branch 'master' into ib/time_ms_fix

1998eb53

debug: try a really long sleep

418bc26b

IanButterworth changed the title ~~add missing include for `sleep_ms`~~ Profile: Use grace period to avoid trailing signals from timer 4 years ago

use grace period rather than sleep

afb5878d

IanButterworth force pushed from e9375784 to afb5878d 4 years ago

use the same watchdog

f513604a

IanButterworth merged e723d374 into master 4 years ago

IanButterworth deleted the ib/time_ms_fix branch 4 years ago

KristofferC removed backport 1.8

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

julia Profile: Use grace period to avoid trailing signals from timer #44268 Merged

Profile: Use grace period to avoid trailing signals from timer #44268

julia
Profile: Use grace period to avoid trailing signals from timer
#44268

Merged