From 6e77dfa2f4e65a8bc328294300d18c42aab74878 Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Wed, 27 Jun 2012 20:13:23 -0700 Subject: [PATCH] Update for task API changes --- src/servo/platform/osmain.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/servo/platform/osmain.rs b/src/servo/platform/osmain.rs index e2ec26b8d32..9f8c24fe141 100644 --- a/src/servo/platform/osmain.rs +++ b/src/servo/platform/osmain.rs @@ -207,7 +207,7 @@ fn on_osmain(+f: fn~(comm::port)) -> comm::chan { let opts = { sched: some({ mode: task::osmain, - native_stack_size: none + foreign_stack_size: none }) with task::get_opts(builder) };