diff options
| author | Huon Wilson <dbau.pp+github@gmail.com> | 2013-04-18 20:46:23 +1000 |
|---|---|---|
| committer | Huon Wilson <dbau.pp+github@gmail.com> | 2013-04-18 20:46:23 +1000 |
| commit | f43fc5fff898d2c2d0b2a49ec35daf1005e76dd9 (patch) | |
| tree | c3d02d3e6cea7bf4d89e18404ade8559c4bd5217 /src/libcore/task | |
| parent | d32d4d12096dc39ff428f606e2242eaae0c6a0de (diff) | |
| download | rust-f43fc5fff898d2c2d0b2a49ec35daf1005e76dd9.tar.gz rust-f43fc5fff898d2c2d0b2a49ec35daf1005e76dd9.zip | |
libcore: make spawn_supervised documentation reflect its behaviour.
Diffstat (limited to 'src/libcore/task')
| -rw-r--r-- | src/libcore/task/mod.rs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/libcore/task/mod.rs b/src/libcore/task/mod.rs index a6c4b6c5268..2975f3d5e46 100644 --- a/src/libcore/task/mod.rs +++ b/src/libcore/task/mod.rs @@ -466,8 +466,9 @@ pub fn spawn_unlinked(f: ~fn()) { pub fn spawn_supervised(f: ~fn()) { /*! - * Creates a child task unlinked from the current one. If either this - * task or the child task fails, the other will not be killed. + * Creates a child task supervised by the current one. If the child + * task fails, the parent will not be killed, but if the parent fails, + * the child will be killed. */ task().supervised().spawn(f) |