diff options
| author | John Högberg <[email protected]> | 2019-08-16 09:38:50 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-08-16 09:38:50 +0200 |
| commit | 4a722c8fe81d915120ac8506575fb4b1c89b67b6 (patch) | |
| tree | fab31f9537981f741b6185c0610346672c66c17d | |
| parent | de62e3bd016e2e1b80c88563209e55bffef1c1bd (diff) | |
| parent | 75aea5ac90ebd38a11b0740053618d493dbdb556 (diff) | |
| download | otp-4a722c8fe81d915120ac8506575fb4b1c89b67b6.tar.gz otp-4a722c8fe81d915120ac8506575fb4b1c89b67b6.tar.bz2 otp-4a722c8fe81d915120ac8506575fb4b1c89b67b6.zip | |
Merge pull request #2343 from josevalim/patch-13
Document file:open/2 monitors the owner process
| -rw-r--r-- | lib/kernel/doc/src/file.xml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/kernel/doc/src/file.xml b/lib/kernel/doc/src/file.xml index d923207f9f..2c09c84b25 100644 --- a/lib/kernel/doc/src/file.xml +++ b/lib/kernel/doc/src/file.xml @@ -957,10 +957,9 @@ f.txt: {person, "kalle", 25}. </item> </taglist> <p><c><anno>IoDevice</anno></c> is really the pid of the process that - handles the file. This process is linked to the process - that originally opened the file. If any process to which - the <c><anno>IoDevice</anno></c> is linked terminates, the file is - closed and the process itself is terminated. + handles the file. This process monitors the process that originally + opened the file (the owner process). If the owner process terminates, + the file is closed and the process itself terminates too. An <c><anno>IoDevice</anno></c> returned from this call can be used as an argument to the I/O functions (see <seealso marker="stdlib:io"><c>io(3)</c></seealso>).</p> |