summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2014-07-31 15:17:35 +0200
committerAleš Smodiš <aless@guru.si>2015-08-11 14:26:00 +0200
commit7b0bcc5c6c71cf6a9b68aae531f91e6ea07d123b (patch)
tree883c2e727ceec57ccc0ea0ec2a7e8828ad0caa1e
parent7e6d03b6101db38c56ea001995ab98d197f245aa (diff)
Add PL_clear_exception to prolog/core.py
-rw-r--r--prolog/core.py4
-rwxr-xr-xprolog/engine.py2
2 files changed, 6 insertions, 0 deletions
diff --git a/prolog/core.py b/prolog/core.py
index b14e58f..afcfdd0 100644
--- a/prolog/core.py
+++ b/prolog/core.py
@@ -860,6 +860,10 @@ PL_cons_list.restype = None
PL_exception = _lib.PL_exception
PL_exception.argtypes = [qid_t]
PL_exception.restype = term_t
+
+PL_clear_exception = _lib.PL_clear_exception
+PL_clear_exception.restype = None
+
#
PL_register_foreign = _lib.PL_register_foreign
diff --git a/prolog/engine.py b/prolog/engine.py
index bd67d86..f9cc6ce 100755
--- a/prolog/engine.py
+++ b/prolog/engine.py
@@ -191,6 +191,8 @@ class PrologEngine(object):
sys.stderr.write('Error: ' + str(Msg) + '\n')
else:
sys.stderr.write('Unknown error\n')
+ # uncomment this if we get segfaults
+ #PL_clear_exception()
break
PL_close_query(qid)