diff options
| author | Benjamin Pierce <bcpierce00@users.noreply.github.com> | 2018-02-09 13:42:30 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-09 13:42:30 -0500 |
| commit | b93ed67818798766e21bcc14a74f41b13febcffc (patch) | |
| tree | 4f7c7bedc3da314aae054e5d7cf11d2eb82821d1 | |
| parent | f8f30c3543183b0c72c046bf10e8f3376781e9ae (diff) | |
| parent | b203a37508fb0673214b943d2d8af02185ad6935 (diff) | |
| download | unison-b93ed67818798766e21bcc14a74f41b13febcffc.zip unison-b93ed67818798766e21bcc14a74f41b13febcffc.tar.gz unison-b93ed67818798766e21bcc14a74f41b13febcffc.tar.bz2 | |
Merge pull request #157 from g-raud/better-server-failure
Improve server failure message
| -rw-r--r-- | src/main.ml | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/main.ml b/src/main.ml index 08a3d22..5fc8a9a 100644 --- a/src/main.ml +++ b/src/main.ml @@ -127,11 +127,13 @@ let interface = let catch_all f = try - (* Util.msg "Starting catch_all...\n"; *) - f (); - (* Util.msg "Done catch_all...\n"; *) + try + (* Util.msg "Starting catch_all...\n"; *) + f (); + (* Util.msg "Done catch_all...\n"; *) + with Prefs.IllegalValue str -> raise (Util.Fatal str) with e -> - Util.msg "Unison failed: %s\n" (Uicommon.exn2string e); exit 1;; + Util.msg "Unison server failed: %s\n" (Uicommon.exn2string e); exit 1;; let init () = begin ignore (Gc.set {(Gc.get ()) with Gc.max_overhead = 150}); |