WIP: S509-002 Remove socket when exiting
When disconnecting the client, the socket should now be removed as well. This commit originates from SPARK development.
- src/driver/prove_client.ml (socket_path): Global variable holding the socket_path (remove_socket): New function which removes the socket if the file exists. (client_disconnect): Now call remove_socket.
Change-Id: Idf80ab4c4e16a1189ad157dd0b86399a5364183d (cherry picked from commit f5c8de5b0c84ab04d9da75555658970a80538bed)
Edited by DAILLER Sylvain