mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 08:20:29 +08:00
Code Issues Packages Projects Releases Wiki Activity

g-socket.ads (Abort_Selector): Clarify documentation.

Browse Source 
2009-04-20  Thomas Quinot  <quinot@adacore.com>

	* g-socket.ads (Abort_Selector): Clarify documentation.

From-SVN: r146373
This commit is contained in:
Thomas Quinot 2009-04-20 08:45:04 +00:00 committed by Arnaud Charlet
parent 162f2c7238
commit efec4f2a56
2 changed files with 13 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/ada/ChangeLog
View File

@ -1,3 +1,7 @@
2009-04-20 Thomas Quinot <quinot@adacore.com>
* g-socket.ads (Abort_Selector): Clarify documentation.
2009-04-20 Arnaud Charlet <charlet@adacore.com>
* opt.ads (Inspector_Mode): Update documentation of this flag.

16
gcc/ada/g-socket.ads
View File

@ -1038,13 +1038,15 @@ package GNAT.Sockets is
-- that it does not watch for exception events. Note that on some
-- platforms it is kept process blocking on purpose. The timeout parameter
-- allows the user to have the behaviour he wants. Abort_Selector allows
-- to abort safely a Check_Selector that is blocked forever. A special
-- file descriptor is opened by Create_Selector and included in each call
-- to Check_Selector. Abort_Selector causes an event to occur on this
-- descriptor in order to unblock Check_Selector. The user must call
-- Close_Selector to discard this special file. A reason to abort a select
-- operation is typically to add a socket in one of the socket sets when
-- the timeout is set to forever.
-- to safely abort a blocked Check_Selector call. A special socket
-- is opened by Create_Selector and included in each call to
-- Check_Selector. Abort_Selector causes an event to occur on this
-- descriptor in order to unblock Check_Selector. Note that each call to
-- Abort_Selector will cause exactly one call to Check_Selector to return
-- with Aborted status. The special socket created by Create_Selector is
-- closed when Close_Selector is called.
-- A typical case where it is useful to abort a Check_Selector operation is
-- the situation where a change to the monitored sockets set must be made.
procedure Create_Selector (Selector : out Selector_Type);
-- Create a new selector