diff options
| author | Hans Bolinder <[email protected]> | 2011-09-19 15:36:08 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2011-09-26 09:27:41 +0200 |
| commit | ee205b29f7a2bb92aeef55ca88fccc8c91f22ec0 (patch) | |
| tree | a4a29301493ebfb47238350b43b032431320375c /lib/kernel/doc/src/erl_ddll.xml | |
| parent | 5606322f1d7e2be43cd9a6f438d8d7f75df0b933 (diff) | |
| download | otp-ee205b29f7a2bb92aeef55ca88fccc8c91f22ec0.tar.gz otp-ee205b29f7a2bb92aeef55ca88fccc8c91f22ec0.tar.bz2 otp-ee205b29f7a2bb92aeef55ca88fccc8c91f22ec0.zip | |
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 |