cf2a754d8c65d76f58ca8748df7d58b86202ebbe,scripts/prove.py,,prove_doc_ind,#Any#,166

Before Change

            e, doc_id,
            etree.tostring(doc, encoding="utf-8", pretty_print=True).decode("utf-8")))
        lock.release()
        raise
        if "timed out" in str(e):
            proof_node.set("status", "timedout")
            print("t", end="", file=sys.stdout)
        else:

After Change

        print(inference_result[0], end="", file=sys.stdout)
    except TimeoutExpired as e:
        proof_node.set("status", "timedout")
        print("t", end="", file=sys.stdout)
    except Exception as e:
        doc_id = doc.get("id", None)
        lock.acquire()
        logging.error("An error occurred: {0}\nSentence: {1}\nTree XML:\n{2}".format(

Instances