Skip to content

Commit

Permalink
If the timeout option is provided on the command line, the Timer
Browse files Browse the repository at this point in the history
…should use that value (#88)
  • Loading branch information
DilumAluthge authored Aug 11, 2022
1 parent f517eb6 commit d471ff4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/BugReporting.jl
Original file line number Diff line number Diff line change
Expand Up @@ -186,7 +186,7 @@ function rr_record(julia_cmd::Cmd, julia_args...; rr_flags=default_rr_record_fla
end

if timeout > 0
@async Timer(2) do timer
@async Timer(timeout) do timer
istaskdone(t1) || Base.throwto(t1, InterruptException())
end
end
Expand Down

0 comments on commit d471ff4

Please sign in to comment.