|
Boost-Commit : |
From: hinnant_at_[hidden]
Date: 2007-12-08 12:45:18
Author: hinnant
Date: 2007-12-08 12:45:18 EST (Sat, 08 Dec 2007)
New Revision: 41896
URL: http://svn.boost.org/trac/boost/changeset/41896
Log:
Fixed up a few minor type-o's and html errors.
Text files modified:
sandbox/committee/LWG/thread_library.html | 15 ++++++++-------
1 files changed, 8 insertions(+), 7 deletions(-)
Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html (original)
+++ sandbox/committee/LWG/thread_library.html 2007-12-08 12:45:18 EST (Sat, 08 Dec 2007)
@@ -845,8 +845,10 @@
otherwise no effects.
</dd>
-<p>
-[<i>Note:</i>
+<dt>
+<i>Note:</i>
+</dt>
+<dd>
Destroying a <code>joinable thread</code> can be unsafe
if the thread accesses objects or the standard library
unless the thread performs explicit synchronization
@@ -854,8 +856,7 @@
past their respective lifetimes.
Terminating the process with <code>_exit</code> or <code>quick_exit</code>
removes some of these obligations.
-—<i>end note</i>]
-</p>
+</dd>
<dt>Throws:</dt>
<dd>
@@ -2680,7 +2681,7 @@
class information
{
- std::once_flag verfified;
+ std::once_flag verified;
void verifier();
public:
void verify() { std::call_once(verified,verifier); }
@@ -4658,7 +4659,7 @@
<dt>Returns:</dt>
<dd>
-<code><var>rhs</var> + <var>td</var>.
+<code><var>rhs</var> + <var>td</var></code>.
</dd>
</dl>
@@ -4810,7 +4811,7 @@
<code>LhsDuration(<var>lhs</var>.count()-x)</code>,
where <code>x</code> is <code><var>rhs</var>.count()</code>
converted to the resolution of <code>LhsDuration</code>.
-Otherwise, <code>RhsDuration(x-<var>rhs</var>.count())<code>,
+Otherwise, <code>RhsDuration(x-<var>rhs</var>.count())</code>,
where <code>x</code> is <code><var>lhs</var>.count()</code>
converted to the resolution of <code>RhsDuration</code>.
</dd>
Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk