diff options
| author | Bob Duff <duff@adacore.com> | 2009-09-17 12:58:39 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2009-09-17 12:58:39 +0200 |
| commit | 0714aafa1fd25aa1524869f4284b752e1a0e3161 (patch) | |
| tree | 3d9d7c3ec8096deb2b799c9a49cf0de08d755268 /gcc/ada/g-socket.ads | |
| parent | 67efd80a55c73d61886faef705142de8f31bedae (diff) | |
| download | gcc-0714aafa1fd25aa1524869f4284b752e1a0e3161.tar.gz | |
g-socket.ads: Document the fact that Close_Selector has no effect on a closed selector.
2009-09-17 Bob Duff <duff@adacore.com>
* g-socket.ads: Document the fact that Close_Selector has no effect on
a closed selector.
* g-socket.adb: Raise an exception when a Selector that should be open
is closed.
(Check_Selector): Declare RSig as a constant rather than a renames,
less confusing.
From-SVN: r151798
Diffstat (limited to 'gcc/ada/g-socket.ads')
| -rw-r--r-- | gcc/ada/g-socket.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/g-socket.ads b/gcc/ada/g-socket.ads index a6445e044ad..39a917a5480 100644 --- a/gcc/ada/g-socket.ads +++ b/gcc/ada/g-socket.ads @@ -1072,7 +1072,8 @@ package GNAT.Sockets is -- Close Selector and all internal descriptors associated; deallocate any -- associated resources. This subprogram may be called only when there is -- no other task still using Selector (i.e. still executing Check_Selector - -- or Abort_Selector on this Selector). + -- or Abort_Selector on this Selector). Has no effect if Selector is + -- already closed. procedure Check_Selector (Selector : in out Selector_Type; |