From: Stefano Zacchiroli Date: Tue, 15 Jul 2003 06:36:25 +0000 (+0000) Subject: wrapped libxslt stylesheet application inside an ocaml blocking section X-Git-Tag: camera_ready~9 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=30e7e7851234512642b7558924f5a17e419b3924;p=helm.git wrapped libxslt stylesheet application inside an ocaml blocking section so that ocaml exceptions, signals and other asynchronous stuff could be handled in the meantime --- diff --git a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c index bc2854a9b..225698a79 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c +++ b/helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c @@ -116,9 +116,11 @@ value ml_applyStylesheet(value source, value style, value params) i+=2; } c_params[i] = NULL; + enter_blocking_section(); res = applyStylesheet(Document_val(source), XsltStylesheetPtr_val(style), c_params); + leave_blocking_section(); free(c_params); if (res == NULL) { value* excp;