Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-06-20 15:18:58 +01:00
Code Issues Projects Releases Packages Wiki Activity
14371 commits 151 branches 5 tags 1.6 GiB
Commit graph

3 commits

Author SHA1 Message Date
Patrick Walton
1dc0d61c3c script: Make timer events e10s-safe. 
Closes #8235.
 2015-11-12 14:30:25 -05:00
Raphael Nestler
004ed44755 Use while let{} instead of loop{match{}} in TimerScheduler::run_event_loop() 2015-11-09 23:31:59 +01:00
benshu
553a0dbefd Timers are scheduled by a dedicated per-constellation thread. 2015-10-21 16:40:49 +02:00