diff options
| author | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-08-11 00:08:00 +0200 |
|---|---|---|
| committer | Gregory Terzian <gterzian@users.noreply.github.com> | 2018-08-31 02:10:34 +0800 |
| commit | ca6306c4306b0d13a7e886f4308ee703fcb1b2b3 (patch) | |
| tree | a27c1a4dcbcaebd9a182de5efb1c1f1b5fa5e862 /components/script/lib.rs | |
| parent | da36740f0b1a48f5a4b4ed86318e110f1e63554b (diff) | |
| download | servo-ca6306c4306b0d13a7e886f4308ee703fcb1b2b3.tar.gz servo-ca6306c4306b0d13a7e886f4308ee703fcb1b2b3.zip | |
introduce task-queues, and throttling the performance-timeline task-source, in script and worker threads.
queue
Diffstat (limited to 'components/script/lib.rs')
| -rw-r--r-- | components/script/lib.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/components/script/lib.rs b/components/script/lib.rs index d7a57a28898..1ce71a02684 100644 --- a/components/script/lib.rs +++ b/components/script/lib.rs @@ -5,6 +5,7 @@ #![cfg_attr(feature = "unstable", feature(core_intrinsics))] #![cfg_attr(feature = "unstable", feature(on_unimplemented))] #![feature(const_fn)] +#![feature(drain_filter)] #![feature(mpsc_select)] #![feature(plugin)] #![feature(string_retain)] @@ -125,6 +126,7 @@ pub mod script_thread; mod serviceworker_manager; mod serviceworkerjob; mod stylesheet_loader; +mod task_queue; mod task_source; pub mod test; pub mod textinput; |