From: Stefano Zacchiroli <zack@upsilon.cc>
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;