Message317218
I don't think there's a bug here: sched.enter schedules an event some time after the current time. The two calls to sched.enter are not at the same time, hence the priority is not used because the events are scheduled at different times. |
|
Date |
User |
Action |
Args |
2018-05-21 08:14:48 | ronaldoussoren | set | recipients:
+ ronaldoussoren, sahilmn |
2018-05-21 08:14:48 | ronaldoussoren | set | messageid: <1526890488.51.0.682650639539.issue33590@psf.upfronthosting.co.za> |
2018-05-21 08:14:48 | ronaldoussoren | link | issue33590 messages |
2018-05-21 08:14:48 | ronaldoussoren | create | |
|