program terminates, but doesn't close the socket on 8000