# HG changeset patch # User Tuomo Valkonen # Date 1516958827 0 # Node ID 8705e296c7a0374ac44ce0a018f6c086d2ff06dd # Parent 72f821e171231ebc4c0600593602601ba59c424c Scheduling list fix and simplifications diff -r 72f821e17123 -r 8705e296c7a0 scheduler.py --- a/scheduler.py Fri Jan 26 00:11:47 2018 +0000 +++ b/scheduler.py Fri Jan 26 09:27:07 2018 +0000 @@ -21,22 +21,23 @@ raise NotImplementedError def insert_after(self, ev): - if not self.next: - ev.prev=self - self.next=ev - ev.next=None - elif ev