From 3c2453f00d0d2346a37adea4d76ac68ae7f3b42c Mon Sep 17 00:00:00 2001
From: Guillem Rieu <guillem.rieu@luminar.fr>
Date: Tue, 22 Nov 2016 17:27:00 +0100
Subject: [PATCH] Client: catch Failure exceptions in Client_main

---
 src/client_main.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/client_main.ml b/src/client_main.ml
index 11d278621..b74ad2e56 100644
--- a/src/client_main.ml
+++ b/src/client_main.ml
@@ -76,6 +76,9 @@ let main () =
       | Cli_entries.Command_failed message ->
           Format.eprintf "Command failed, %s.\n%!" message ;
           Pervasives.exit 1
+      | Failure message ->
+          Format.eprintf "%s%!" message ;
+          Pervasives.exit 1
       | exn ->
           Format.printf "Fatal internal error: %s\n%!"
             (Printexc.to_string exn) ;