diff options
| author | Brian Anderson <banderson@mozilla.com> | 2011-11-11 12:03:52 -0800 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2011-11-11 12:11:21 -0800 |
| commit | 5e0e32faac1af7b239f5d1f11d6afa620c96a781 (patch) | |
| tree | fd56a58c92642167f04c912fa5e1ad4ccc4c7a5c /src/lib | |
| parent | 5d1e321ecbdaf50fe4723b698081c7cda60d366a (diff) | |
rt: Remove drop_port. Unused
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/comm.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/lib/comm.rs b/src/lib/comm.rs index 841afaa9797..ca303365435 100644 --- a/src/lib/comm.rs +++ b/src/lib/comm.rs @@ -44,7 +44,6 @@ native "cdecl" mod rustrt { fn new_port(unit_sz: uint) -> *rust_port; fn del_port(po: *rust_port); - fn drop_port(po: *rust_port); fn get_port_id(po: *rust_port) -> port_id; } @@ -77,7 +76,6 @@ tag chan<uniq T> { } resource port_ptr(po: *rustrt::rust_port) { - rustrt::drop_port(po); rustrt::del_port(po); } |
