diff options
| author | Thomas Munro <tmunro@postgresql.org> | 2022-02-14 16:29:44 +1300 |
|---|---|---|
| committer | Thomas Munro <tmunro@postgresql.org> | 2022-02-14 16:52:23 +1300 |
| commit | cba5b994c990bba8df9b8bb75f25ca40aef6b68b (patch) | |
| tree | 8189f1b0691ee24a9289afceb3dbf2ea1a4bcd6d /doc/src | |
| parent | 50e570a59e7f86bb41f029a66b781fc79b8d50f1 (diff) | |
Use WL_SOCKET_CLOSED for client_connection_check_interval.
Previously we used poll() directly to check for a POLLRDHUP event.
Instead, use the WaitEventSet API to poll the socket for
WL_SOCKET_CLOSED, which knows how to detect this condition on many more
operating systems.
Reviewed-by: Zhihong Yu <zyu@yugabyte.com>
Reviewed-by: Maksim Milyutin <milyutinma@gmail.com>
Reviewed-by: Andres Freund <andres@anarazel.de>
Discussion: https://postgr.es/m/77def86b27e41f0efcba411460e929ae%40postgrespro.ru
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/config.sgml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/src/sgml/config.sgml b/doc/src/sgml/config.sgml index fc63172efde..53b361e7a92 100644 --- a/doc/src/sgml/config.sgml +++ b/doc/src/sgml/config.sgml @@ -1012,9 +1012,9 @@ include_dir 'conf.d' the kernel reports that the connection is closed. </para> <para> - This option is currently available only on systems that support the - non-standard <symbol>POLLRDHUP</symbol> extension to the - <symbol>poll</symbol> system call, including Linux. + This option relies on kernel events exposed by Linux, macOS, illumos + and the BSD family of operating systems, and is not currently available + on other systems. </para> <para> If the value is specified without units, it is taken as milliseconds. |