• 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
bench Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
stdlib Loading commit data...
tests Loading commit data...
.dockerignore Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
.merlin.in Loading commit data...
.ocp-indent Loading commit data...
AUTHORS Loading commit data...
CHANGES.md Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL.md Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README.md Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
autogen.sh Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...