Deal with the consequences of the socket file not being deleted ...