-
Johannes Kanig authored
When the socket file cannot be created, raise an exception instead of exiting. This allows a nice error message to be printed. * prove_client.ml (client_connect): in case of error, do not exit, but raise exception Change-Id: I83fb36a431bf4d854a23d93b0b870fa3d0db7526 (cherry picked from commit b18ffc3f742cf8738533994119857328e7dc8633)
23d6ef87