diff options
Diffstat (limited to 'src')
| -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}); |