python-git/python — pull request #2 by todosii (2013-04-09 11:01:00+00:00)
Title: Update SocketServer.py

When the Python process is killed, select.error may be raised with errno == EINTR causing shut down event to be not properly set. Python process will be deadlocked with subsequent shutdown call if this error occured.