WIP: S509-002 Remove socket when exiting (!195) · Merge requests · Why3 / why3

DAILLER Sylvain requested to merge spark_merge into master Jun 25, 2019

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 Jun 25, 2019 by DAILLER Sylvain

WIP: S509-002 Remove socket when exiting