From 1db75d42bbd2ca136b793d85c776da70b962337a Mon Sep 17 00:00:00 2001 From: David CARLIER Date: Sun, 7 Jul 2024 14:23:01 +0100 Subject: [PATCH] ext/sockets: socket_get_option/socket_set_option SO_LINGER_SEC. (#14858) 9672cd9469ad7fd75e1f0ee7f2811b9c576fe6ad follow-up. --- ext/sockets/sockets.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/ext/sockets/sockets.c b/ext/sockets/sockets.c index deafd05e7a1..d7e4dc8576e 100644 --- a/ext/sockets/sockets.c +++ b/ext/sockets/sockets.c @@ -1693,6 +1693,9 @@ PHP_FUNCTION(socket_get_option) if (level == SOL_SOCKET) { switch (optname) { +#ifdef SO_LINGER_SEC + case SO_LINGER_SEC: +#endif case SO_LINGER: optlen = sizeof(linger_val); @@ -1901,6 +1904,9 @@ PHP_FUNCTION(socket_set_option) } switch (optname) { +#ifdef SO_LINGER_SEC + case SO_LINGER_SEC: +#endif case SO_LINGER: { const char l_onoff_key[] = "l_onoff"; const char l_linger_key[] = "l_linger";