[Ada] Timeout correction on Get_Socket_Option
authorDmitriy Anisimkov <anisimko@adacore.com>
Wed, 19 May 2021 12:26:16 +0000 (18:26 +0600)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 7 Jul 2021 16:23:15 +0000 (16:23 +0000)
commit4fa7097a140f007f86e81f62cd08fff15b16ef6e
tree27d76710ccadcb9393e98391f481cf8ed4ca97bd
parentebef9784ef665511b407ed9081153a7eb52f816b
[Ada] Timeout correction on Get_Socket_Option

gcc/ada/

* libgnat/g-socket.adb (Get_Socket_Option): Add 500ms only when
Minus_500ms_Windows_Timeout is True.
(Set_Socket_Option): Use "* 1000" instead of "/ 0.001" to
convert to milliseconds.
gcc/ada/libgnat/g-socket.adb