diff options
author | Marc Laukien <marc@zeroc.com> | 2003-03-13 19:53:21 +0000 |
---|---|---|
committer | Marc Laukien <marc@zeroc.com> | 2003-03-13 19:53:21 +0000 |
commit | d774349054e09a717a92f95391dd663f1ba8b29b (patch) | |
tree | d2784c92c78aef72806add1b9c87ab5e1259f32d /cpp/include/IceUtil/Thread.h | |
parent | started with shrinking pool (diff) | |
download | ice-d774349054e09a717a92f95391dd663f1ba8b29b.tar.bz2 ice-d774349054e09a717a92f95391dd663f1ba8b29b.tar.xz ice-d774349054e09a717a92f95391dd663f1ba8b29b.zip |
started with shrinking pool; inlined ops in IceUtil::Time
Diffstat (limited to 'cpp/include/IceUtil/Thread.h')
-rw-r--r-- | cpp/include/IceUtil/Thread.h | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/cpp/include/IceUtil/Thread.h b/cpp/include/IceUtil/Thread.h index bd411079baf..5afbab260ec 100644 --- a/cpp/include/IceUtil/Thread.h +++ b/cpp/include/IceUtil/Thread.h @@ -85,17 +85,18 @@ public: // At most one thread can wait for the termination of a given // thread. Calling join on a thread on which another thread is // already waiting for termination results in undefined behaviour, - // as does joining with a thread after having joined with it previously, - // or joining with a detached thread. + // as does joining with a thread after having joined with it + // previously, or joining with a detached thread. // void join(); // - // Detach a thread. Once a thread is detached, it cannot be detached - // again, nor can it be joined with. Every thread that was created using - // the IceUtil::Thread class must either be joined with or detached - // exactly once. Detaching a thread a second time, or detaching a - // thread that was previously joined with results in undefined behavior. + // Detach a thread. Once a thread is detached, it cannot be + // detached again, nor can it be joined with. Every thread that + // was created using the IceUtil::Thread class must either be + // joined with or detached exactly once. Detaching a thread a + // second time, or detaching a thread that was previously joined + // with results in undefined behavior. // void detach(); |