diff options
| author | Hans Bolinder <[email protected]> | 2011-09-27 08:28:51 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2011-09-27 08:28:51 +0200 |
| commit | adeb8abaca990e6084ee101656832e115579a8ba (patch) | |
| tree | 5723f86c92bec81a3289d17bd6afc5e07cabb302 /lib/kernel/doc/src/erl_ddll.xml | |
| parent | 289dfe970d3dab5fcc11492a0b20283f352a2fd0 (diff) | |
| parent | ee205b29f7a2bb92aeef55ca88fccc8c91f22ec0 (diff) | |
| download | otp-adeb8abaca990e6084ee101656832e115579a8ba.tar.gz otp-adeb8abaca990e6084ee101656832e115579a8ba.tar.bz2 otp-adeb8abaca990e6084ee101656832e115579a8ba.zip | |
Merge branch 'hb/doc_corrections/OTP-9550' into dev
* hb/doc_corrections/OTP-9550:
Correct XML files
Diffstat (limited to 'lib/kernel/doc/src/erl_ddll.xml')
| -rw-r--r-- | lib/kernel/doc/src/erl_ddll.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/doc/src/erl_ddll.xml b/lib/kernel/doc/src/erl_ddll.xml index f9514dda2f..1911fb628e 100644 --- a/lib/kernel/doc/src/erl_ddll.xml +++ b/lib/kernel/doc/src/erl_ddll.xml @@ -989,7 +989,7 @@ <c>{ok, pending_driver}</c> or <c>{ok, pending_process}</c>.</p> </item> </taglist> - <p>The <c>pending_driver</c><c>MonitorOption</c> is by far + <p>The <c>pending_driver</c> <c>MonitorOption</c> is by far the most useful and it has to be used to ensure that the driver has really been unloaded and the ports closed whenever the <c>kill_ports</c> option is used or the |