Closed philipstarkey closed 5 years ago
Original comment by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
You mean for the timeout trigger, or for the edges that the WaitMonitor gets in order to determine how long the waits lasted?
Original comment by Russell Anderson (Bitbucket: rpanderson, GitHub: rpanderson).
The timeout trigger. I've implemented this enhancement (and fixed issue #17) in the monashspinor fork (commit).
Original comment by Chris Billington (Bitbucket: cbillington, GitHub: chrisjbillington).
Closing as fixed in labscrtipt PR #34
Original report (archived issue) by Russell Anderson (Bitbucket: rpanderson, GitHub: rpanderson).
Permit specification of the
trigger_edge_type
for theWaitMonitor
class.