[PATCH v15 4/7] server: Allow for deletion of socket files.