balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Client: catch Failure exceptions in Client_main

Browse Source
This commit is contained in:
Guillem Rieu 2016-11-22 17:27:00 +01:00 committed by Benjamin Canou
parent 80e1b0f312
commit 3c2453f00d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/client_main.ml
View File

@ -76,6 +76,9 @@ let main () =
| Cli_entries.Command_failed message -> | Cli_entries.Command_failed message ->
Format.eprintf "Command failed, %s.\n%!" message ; Format.eprintf "Command failed, %s.\n%!" message ;
Pervasives.exit 1 Pervasives.exit 1
| Failure message ->
Format.eprintf "%s%!" message ;
Pervasives.exit 1
| exn -> | exn ->
Format.printf "Fatal internal error: %s\n%!" Format.printf "Fatal internal error: %s\n%!"
(Printexc.to_string exn) ; (Printexc.to_string exn) ;