From 99c3de7aac971f39df88859f2fefa21e15d248ce Mon Sep 17 00:00:00 2001 From: Ms2ger Date: Sun, 3 Aug 2014 19:23:28 +0200 Subject: [PATCH] Use TaskBuilder for the main Servo task. --- src/components/main/servo.rs | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/src/components/main/servo.rs b/src/components/main/servo.rs index f69cfdae2cd..fcf3f9fd315 100644 --- a/src/components/main/servo.rs +++ b/src/components/main/servo.rs @@ -45,19 +45,19 @@ use gfx::font_cache_task::FontCacheTask; use servo_util::time::TimeProfiler; #[cfg(not(test))] use servo_util::memory::MemoryProfiler; - #[cfg(not(test))] use servo_util::opts; #[cfg(not(test))] -use url::{Url, UrlParser}; - +use green::GreenTaskBuilder; #[cfg(not(test))] use std::os; +#[cfg(not(test))] +use std::task::TaskBuilder; #[cfg(not(test), target_os="android")] use std::str; #[cfg(not(test))] -use rustrt::task::TaskOpts; +use url::{Url, UrlParser}; #[cfg(not(test), target_os="linux")] @@ -111,7 +111,9 @@ pub fn run(opts: opts::Opts) { let time_profiler_chan_clone = time_profiler_chan.clone(); let (result_chan, result_port) = channel(); - pool.spawn(TaskOpts::new(), proc() { + TaskBuilder::new() + .green(&mut pool) + .spawn(proc() { let opts = &opts_clone; // Create a Servo instance. let resource_task = new_resource_task();