Work on the server socket code, now requiring python 3.4