diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-03-14 23:08:47 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-03-15 11:10:53 -0700 |
| commit | 561511e62813840e930ff60e6918ccaea4f00f00 (patch) | |
| tree | f76bb5d3da66998dab48f86a68eae29d80aad14b /src/rt/rust_task.cpp | |
| parent | c414b78afed76f63adf4e7538f04b6231f177236 (diff) | |
| download | rust-561511e62813840e930ff60e6918ccaea4f00f00.tar.gz rust-561511e62813840e930ff60e6918ccaea4f00f00.zip | |
core: Channels are just port ids
Diffstat (limited to 'src/rt/rust_task.cpp')
| -rw-r--r-- | src/rt/rust_task.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/rt/rust_task.cpp b/src/rt/rust_task.cpp index aba93576700..651488b2ebe 100644 --- a/src/rt/rust_task.cpp +++ b/src/rt/rust_task.cpp @@ -475,7 +475,7 @@ rust_task::notify(bool success) { // FIXME (1078) Do this in rust code if(notify_enabled) { rust_port *target_port = - kernel->get_port_by_id(notify_chan.port); + kernel->get_port_by_id(notify_port); if(target_port) { task_notification msg; msg.id = id; @@ -719,9 +719,9 @@ rust_task::delete_all_stacks() { } void -rust_task::config_notify(chan_handle chan) { +rust_task::config_notify(rust_port_id port) { notify_enabled = true; - notify_chan = chan; + notify_port = port; } /* |