g-socket.ads, [...] (Close_Selector): Once the signalling sockets are closed...
authorThomas Quinot <quinot@adacore.com>
Tue, 31 Oct 2006 18:00:42 +0000 (19:00 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 31 Oct 2006 18:00:42 +0000 (19:00 +0100)
commitad98c85e5b31557702533ffe9fe8109ba642705c
treef6767151ab9a798d0eddba4c931af96431abf232
parent8967c38f74e68783fdbff9ad8759178d83eef637
g-socket.ads, [...] (Close_Selector): Once the signalling sockets are closed...

2006-10-31  Thomas Quinot  <quinot@adacore.com>

* g-socket.ads, g-socket.adb (Close_Selector): Once the signalling
sockets are closed, reset the R_Sig_Socket and W_Sig_Socket components
to No_Socket.
(Selector_Type): Add default value of No_Socket for R_Sig_Socket and
W_Sig_Socket.

From-SVN: r118280
gcc/ada/g-socket.adb
gcc/ada/g-socket.ads