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

*Chan.send() convenience functions

Browse source
This commit is contained in:
Tim Kuehn 2013-06-14 13:59:39 -07:00
parent 112ec6f938
commit 850fa97c4b
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/components/main/servo.rc
View file

@ -111,7 +111,7 @@ fn run(opts: &Opts) {
// Send the URL command to the engine task. // Send the URL command to the engine task.
for opts.urls.each |filename| { for opts.urls.each |filename| {
engine_chan.chan.send(LoadUrlMsg(make_url(copy *filename, None))) engine_chan.send(LoadUrlMsg(make_url(copy *filename, None)))
} }
// Wait for the compositor to shut down. // Wait for the compositor to shut down.
@ -120,7 +120,7 @@ fn run(opts: &Opts) {
// Shut the engine down. // Shut the engine down.
debug!("master: Shut down"); debug!("master: Shut down");
let (exit_response_from_engine, exit_chan) = comm::stream(); let (exit_response_from_engine, exit_chan) = comm::stream();
engine_chan.chan.send(ExitMsg(exit_chan)); engine_chan.send(ExitMsg(exit_chan));
exit_response_from_engine.recv(); exit_response_from_engine.recv();
} }

2
src/components/util/time.rs
View file

@ -198,7 +198,7 @@ pub fn profile<T>(category: ProfilerCategory,
let val = callback(); let val = callback();
let end_time = precise_time_ns(); let end_time = precise_time_ns();
let ms = ((end_time - start_time) as f64 / 1000000f64); let ms = ((end_time - start_time) as f64 / 1000000f64);
profiler_chan.chan.send(TimeMsg(category, ms)); profiler_chan.send(TimeMsg(category, ms));
return val; return val;
} }