Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 05:30:08 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use TaskBuilder for the main Servo task.

Browse source
This commit is contained in:
Ms2ger 2014-08-03 19:23:28 +02:00
parent 5475685ec1
commit 99c3de7aac
1 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/components/main/servo.rs
View file

@ -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();