| 767 | // ---------------------------------------------------------------------------------------- |
| 768 | |
| 769 | static void |
| 770 | close_socket ( |
| 771 | int sock |
| 772 | ) |
| 773 | /*! |
| 774 | requires |
| 775 | - sock == a socket |
| 776 | ensures |
| 777 | - sock has been closed |
| 778 | !*/ |
| 779 | { |
| 780 | while (true) |
| 781 | { |
| 782 | int status = ::close(sock); |
| 783 | if (status == -1 && errno == EINTR) |
| 784 | continue; |
| 785 | break; |
| 786 | } |
| 787 | } |
| 788 | |
| 789 | // ---------------------------------------------------------------------------------------- |
| 790 |
no outgoing calls
no test coverage detected