projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5052a27) | patch
[Ada] Don't correct socket timeout on Windows Server 2019
authorDmitriy Anisimkov <anisimko@adacore.com>
Mon, 23 Mar 2020 10:16:51 +0000 (16:16 +0600)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 12 Jun 2020 08:29:25 +0000 (04:29 -0400)
commite2b7399e34bab3aec45af99da7c31eb571f27f21
treed1e4e4020baed15565a0bd63c0edd3063e160cbetree
parent5052a270c0f685998a3456d87d441a59bc1d67eecommit | diff
[Ada] Don't correct socket timeout on Windows Server 2019

2020-06-12  Dmitriy Anisimkov  <anisimko@adacore.com>

gcc/ada/

* socket.c (__gnat_minus_500ms): Use GetVersionEx to detect
Windows Server version.
* libgnat/g-sothco.ads (Minus_500ms_Windows_Timeout): Remade to
Boolean constant.
* libgnat/g-socket.adb (Set_Socket_Option): Use
Minus_500ms_Windows_Timeout constant instead of function call.
gcc/ada/libgnat/g-socket.adb diff | blob | history
gcc/ada/libgnat/g-sothco.ads diff | blob | history
gcc/ada/socket.c diff | blob | history