Gallopsled / pwntools / 23453740675 / 1

74%

dev: 74%

push

github

Fix `server.close()` not closing the listen socket (#2682)

* Fix `server.close()` not closing the listen socket

It would block on `accept` forever, not freeing the listening port.
Break out of `accept()` regularly to check if the socket was closed in the meantime and stop the thread.

* Update CHANGELOG

* Fix `listen.close()` not closing the listen socket

If `close()` was called before a connection was accepted,
the listen socket would not be closed.

* Fix closing listen socket on Windows

Windows throws an ENOTSOCK instead of an EBADF.

* Keep timeout on child socket tube

3874 of 6532 branches covered (59.31%)

13385 of 18183 relevant lines covered (73.61%)

0.74 hits per line