Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit c447eb65 authored by Bruno Guillaume's avatar Bruno Guillaume
Browse files

catch Sys_error

parent 6a146c82
......@@ -19,7 +19,11 @@ open Grew_args
(* -------------------------------------------------------------------------------- *)
let fail msg = Log.fmessage "%s" msg; exit 2
let fail msg =
Log.fmessage "-------------------------------------";
Log.fmessage "%s" msg;
Log.fmessage "-------------------------------------";
exit 2
let handle fct () =
try fct ()
......@@ -28,7 +32,7 @@ let handle fct () =
| Libgrew.Error msg -> fail msg
| Corpus.File_not_found file -> fail (sprintf "File not found: \"%s\"" file)
| Corpus.Fail msg -> fail msg
| Sys_error msg -> fail (sprintf "System error: %s" msg)
| Libgrew.Bug msg -> fail (sprintf "Libgrew.bug, please report: %s" msg)
| exc -> fail (sprintf "Uncaught exception, please report: %s" (Printexc.to_string exc))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment