]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/gdome_xslt/ml_gdome_xslt.c
wrapped libxslt stylesheet application inside an ocaml blocking section
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / gdome_xslt / ml_gdome_xslt.c
index bc2854a9b890066fec49d49aae7986d3d7248d22..225698a7900ef6f43617fcd96f3727490792c09f 100644 (file)
@@ -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;