eiffelstudio-public - Revision 107829: /branches/eth/eve/Src/unstable/library/network/socket/netssl/ssl/scoop
..
ssl_exclusive_access.e