daxvena/elemeld - Change UE57VD2GPQABW63QNOJCUWNMPL54F5MC3IXXTZXVCRASKHHJACKAC

Process all pending host events per event trigger A single mio event trigger may correspond to many host events

Created by daxvena on March 11, 2016

UE57VD2GPQABW63QNOJCUWNMPL54F5MC3IXXTZXVCRASKHHJACKAC

Dependencies

[2] 6WLPW4L4PN6ANYYW3I6AOCN3SXQP37RQTUOM52IVXL3SRZD7UHAAC
[3] LSQ7OPL7Z5WJDO7ZZS3D4UPMEEWUUF2LNQ3FZUWWFUVZEXA7CIOAC
[4] RPECDMZ4O7MMU32H6Z7EW75GRVEQ6IJYNPWSV54HUPTCX5H7I26QC

In channels

main

Change contents

Replacement in src/elemeld.rs at line 120 [3.8294]

B:BD[2.3508] → [2.3508:3622]

∅:D[2.3622] → [4.2701:2737]

B:BD[4.2701] → [4.2701:2737]

                    match self.host.recv_event() {
                        Some(event) => self.host_event(event),
                        None => (),

[2.3508]

[2.3623]

                    // A single mio event trigger may correspond to
                    // many host events, so process all host events
                    // Be careful in host.recv_event so this doesn't infinite loop
                    loop {
                        match self.host.recv_event() {
                            Some(event) => self.host_event(event),
                            None => break,
                        }