#4 Option to switch off SEGV signal handler

open
nobody
None
5
2005-03-28
2005-03-28
Helge Schulz
No

The OpenSHORE project uses XSB as query engine and
combines XSB with an object-oriented database for C++,
which contains a semantic network of imported
documents. The OO database installs a SEGV signal
handler to handle data request at page fault time. This
handler is "overwritten" by XSB and must be reinstalled
by a workaround. An option to switch off the
installation of the XSB SEGV handler would be the nicer
solution (like "-n").

Best regards,

Helge

--
Helge Schulz http://OpenSHORE.org

Discussion