From 870522117c8cb483bbca73107e012ad94f585774 Mon Sep 17 00:00:00 2001 From: malc Date: Wed, 26 Jun 2019 11:45:22 +0300 Subject: [PATCH] Cosmetics --- link.c | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/link.c b/link.c index d22e15f..ab9c200 100644 --- a/link.c +++ b/link.c @@ -3753,16 +3753,9 @@ value ml_llpp_version (void) return caml_copy_string (llpp_version); } -static void error_callback (void *user, const char *message) +static void diag_callback (void *user, const char *message) { - (void) user; - printd ("emsg [e] %s", message); -} - -static void warning_callback (void *user, const char *message) -{ - (void) user; - printd ("emsg [w] %s", message); + printd ("emsg %s %s", (char *) user, message); } void ml_init (value csock_v, value params_v); @@ -3810,8 +3803,8 @@ void ml_init (value csock_v, value params_v) state.ctx = fz_new_context (NULL, NULL, mustoresize); fz_register_document_handlers (state.ctx); - fz_set_error_callback (state.ctx, error_callback, &state); - fz_set_warning_callback (state.ctx, warning_callback, &state); + fz_set_error_callback (state.ctx, diag_callback, "[e]"); + fz_set_warning_callback (state.ctx, diag_callback, "[w]"); state.trimmargins = Bool_val (Field (trim_v, 0)); fuzz_v = Field (trim_v, 1); -- 2.11.4.GIT