From 7b0bcc5c6c71cf6a9b68aae531f91e6ea07d123b Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Thu, 31 Jul 2014 15:17:35 +0200 Subject: Add PL_clear_exception to prolog/core.py --- prolog/core.py | 4 ++++ prolog/engine.py | 2 ++ 2 files changed, 6 insertions(+) (limited to 'prolog') 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) -- cgit v1.2.1