From fba942c7c6958b509808ddd91ff84a20c6f264c0 Mon Sep 17 00:00:00 2001 From: Ben Blum Date: Tue, 24 Jul 2012 15:14:54 -0400 Subject: [PATCH] Change osmain.rs to new task::task_builder interface --- src/servo/platform/osmain.rs | 12 ++---------- 1 file changed, 2 insertions(+), 10 deletions(-) diff --git a/src/servo/platform/osmain.rs b/src/servo/platform/osmain.rs index b8839b90690..99cb70179ec 100644 --- a/src/servo/platform/osmain.rs +++ b/src/servo/platform/osmain.rs @@ -13,6 +13,7 @@ import dom::event::{Event, ResizeEvent}; import layers::ImageLayer; import geom::size::Size2D; import std::cmp::fuzzy_eq; +import task::task_builder; import vec::push; type OSMain = chan; @@ -222,16 +223,7 @@ fn destroy_surface(+surface: surface) { #[doc = "A function for spawning into the platform's main thread"] fn on_osmain(+f: fn~(comm::port)) -> comm::chan { - let builder = task::builder(); - let opts = { - sched: some({ - mode: task::osmain, - foreign_stack_size: none - }) - with task::get_opts(builder) - }; - task::set_opts(builder, opts); - ret task::run_listener(builder, f); + task::task().sched_mode(task::osmain).spawn_listener(f) } // #[cfg(target_os = "linux")]