diff options
| author | Jon Morton <jonanin@gmail.com> | 2012-04-01 22:18:40 -0500 |
|---|---|---|
| committer | Jon Morton <jonanin@gmail.com> | 2012-04-01 22:18:40 -0500 |
| commit | 128a8b6ed500f74fa802aa9749b3b7a19ebfffc9 (patch) | |
| tree | 659d9f43bfe1768ab509892e739fd3aa015ac38f /src/rt/rust.cpp | |
| parent | 413994ea3eed976a6fe97f3d6cfeb0c2f453e77f (diff) | |
| download | rust-128a8b6ed500f74fa802aa9749b3b7a19ebfffc9.tar.gz rust-128a8b6ed500f74fa802aa9749b3b7a19ebfffc9.zip | |
remove rust_srv
Diffstat (limited to 'src/rt/rust.cpp')
| -rw-r--r-- | src/rt/rust.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/rt/rust.cpp b/src/rt/rust.cpp index 00657f8ec0a..695132979be 100644 --- a/src/rt/rust.cpp +++ b/src/rt/rust.cpp @@ -75,8 +75,7 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) { update_log_settings(crate_map, env->logspec); check_claims = env->check_claims; - rust_srv *srv = new rust_srv(env); - rust_kernel *kernel = new rust_kernel(srv); + rust_kernel *kernel = new rust_kernel(env); rust_sched_id sched_id = kernel->create_scheduler(env->num_sched_threads); rust_scheduler *sched = kernel->get_scheduler_by_id(sched_id); rust_task *root_task = sched->create_task(NULL, "main"); @@ -96,7 +95,6 @@ rust_start(uintptr_t main_fn, int argc, char **argv, void* crate_map) { int ret = kernel->wait_for_exit(); delete args; delete kernel; - delete srv; free_env(env); |