• 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
Name
Last commit
Last update
..
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
isabelle-client Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer Loading commit data...
server Loading commit data...
session Loading commit data...
tools Loading commit data...
transform Loading commit data...
trywhy3 Loading commit data...
util Loading commit data...
why3doc Loading commit data...
why3session Loading commit data...
config.sh.in Loading commit data...