diff options
author | schmidt <douglascraigschmidt@users.noreply.github.com> | 2002-08-12 15:20:49 +0000 |
---|---|---|
committer | schmidt <douglascraigschmidt@users.noreply.github.com> | 2002-08-12 15:20:49 +0000 |
commit | 6ba635cd599002e3a65f92e1bc6170e8a114c4b1 (patch) | |
tree | d3235278f5997e9f9bd3cd6cf576b2f5bb3005bc /ace/Thread_Manager.h | |
parent | 3440517cc3d6fd13e1fb84aea3893c2868752bbb (diff) | |
download | ATCD-6ba635cd599002e3a65f92e1bc6170e8a114c4b1.tar.gz |
ChangeLogTag:Mon Aug 12 10:17:55 2002 Douglas C. Schmidt <schmidt@ace.cs.wustl.edu>
Diffstat (limited to 'ace/Thread_Manager.h')
-rw-r--r-- | ace/Thread_Manager.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ace/Thread_Manager.h b/ace/Thread_Manager.h index af0253096b9..2177d08ef0a 100644 --- a/ace/Thread_Manager.h +++ b/ace/Thread_Manager.h @@ -507,7 +507,7 @@ public: * assumed to be an array of <n> thread_handles that will be * assigned the values of the thread handles being spawned. * - * Threads in Thread_Manager can be maniputated in groups based on + * Threads in Thread_Manager can be manipulated in groups based on * <grp_id> or <task> using functions such as kill_grp() or * cancel_task(). * @@ -547,7 +547,7 @@ public: * assumed to be an array of <n> thread_handles that will be * assigned the values of the thread handles being spawned. * - * Threads in Thread_Manager can be maniputated in groups based on + * Threads in Thread_Manager can be manipulated in groups based on * <grp_id> or <task> using functions such as kill_grp() or * cancel_task(). * |