diff options
| author | Hans Bolinder <[email protected]> | 2011-08-26 15:25:37 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2011-08-26 15:26:00 +0200 |
| commit | 9a52e239698ae62cddbc0d780502c72458867b6f (patch) | |
| tree | 0b8ec97a7793fac7f26d101a9dad5ca63f559d0e /lib/kernel/doc/src/gen_udp.xml | |
| parent | 67f89ecba0ef3a1f707c6c3b40d32605b7e2b352 (diff) | |
| parent | c6f772a04eafccf03d20b0bbda08c399b4640f38 (diff) | |
| download | otp-9a52e239698ae62cddbc0d780502c72458867b6f.tar.gz otp-9a52e239698ae62cddbc0d780502c72458867b6f.tar.bz2 otp-9a52e239698ae62cddbc0d780502c72458867b6f.zip | |
Merge branch 'hb/inet_types_and_specs/OTP-9260' into dev
* hb/inet_types_and_specs/OTP-9260:
Improve types and specifications of the inet modules
Diffstat (limited to 'lib/kernel/doc/src/gen_udp.xml')
| -rw-r--r-- | lib/kernel/doc/src/gen_udp.xml | 21 |
1 files changed, 3 insertions, 18 deletions
diff --git a/lib/kernel/doc/src/gen_udp.xml b/lib/kernel/doc/src/gen_udp.xml index c0e783f508..daa9b7d887 100644 --- a/lib/kernel/doc/src/gen_udp.xml +++ b/lib/kernel/doc/src/gen_udp.xml @@ -36,25 +36,10 @@ <datatypes> <datatype> - <name name="hostname"/> + <name name="option"/> </datatype> <datatype> - <name name="ip_address"/> - <desc> - <p>Represents an address of a TCP socket. - It is a tuple as explained in - <seealso marker="inet">inet(3)</seealso>.</p> - </desc> - </datatype> - <datatype> - <name name="port_number"/> - </datatype> - <datatype> - <name name="posix"/> - <desc> - <p>See <seealso marker="inet#error_codes"> - inet(3); POSIX Error Codes</seealso>.</p> - </desc> + <name name="option_name"/> </datatype> <datatype> <name><marker id="type-socket">socket()</marker></name> @@ -87,7 +72,7 @@ <p>If the host has several network interfaces, this option specifies which one to use.</p> </item> - <tag><c>{fd, int()}</c></tag> + <tag><c>{fd, integer() >= 0}</c></tag> <item> <p>If a socket has somehow been opened without using <c>gen_udp</c>, use this option to pass the file |