If a client is killed or exits before calling ccds_leave, then the ccds_s server on that machine will not terminate. In this case the user has to manually kill ccds_s, remove the /tmp/ccds_server_file_info.[session name] file, and the /tmp/[session name] directory.