]> matita.cs.unibo.it Git - helm.git/commitdiff
wrapped libxslt stylesheet application inside an ocaml blocking section
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Jul 2003 06:36:25 +0000 (06:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 15 Jul 2003 06:36:25 +0000 (06:36 +0000)
so that ocaml exceptions, signals and other asynchronous stuff could be
handled in the meantime

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;