• Johannes Kanig's avatar
    QC06-011 improve error when socket file cannot be created · 23d6ef87
    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
prove_client.mli 1.81 KB