diff options
| author | Dmitriy Anisimkov <anisimko@adacore.com> | 2019-07-04 08:05:13 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-04 08:05:13 +0000 |
| commit | b7d5159ec9fcc229e47392dc0dfec191d361b398 (patch) | |
| tree | 1728f625585772a56f8e449aaa314216359cdac1 /gcc/ada/gsocket.h | |
| parent | 1708a783b500003d88940ba6ef417efaf045bbc1 (diff) | |
| download | gcc-b7d5159ec9fcc229e47392dc0dfec191d361b398.zip gcc-b7d5159ec9fcc229e47392dc0dfec191d361b398.tar.gz gcc-b7d5159ec9fcc229e47392dc0dfec191d361b398.tar.bz2 | |
[Ada] GNAT.Sockets: fix socket timeout on recent Windows versions
2019-07-04 Dmitriy Anisimkov <anisimko@adacore.com>
gcc/ada/
* doc/gnat_ugn/platform_specific_information.rst: Document
Windows socket timeout particularity.
* gnat_ugn.texi: Regenerate.
* gsocket.h: Include versionhelpers.h.
* socket.c (__gnat_minus_500ms): New function.
* libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): New
imported function.
* libgnat/g-socket.adb (Set_Socket_Option): Refactor to remove
500ms from the requested timeout only on old Windows version.
From-SVN: r273045
Diffstat (limited to 'gcc/ada/gsocket.h')
| -rw-r--r-- | gcc/ada/gsocket.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/gsocket.h b/gcc/ada/gsocket.h index 1821b1b..c44e134 100644 --- a/gcc/ada/gsocket.h +++ b/gcc/ada/gsocket.h @@ -82,6 +82,7 @@ #ifdef __MINGW32__ #include <winsock2.h> #include <ws2tcpip.h> +#include <versionhelpers.h> #undef EACCES #define EACCES WSAEACCES |