commit 6beb46239587c6b62cd507aba8754968bc930d7f
author Xin Li <delphij@google.com> Mon Nov 13 14:35:23 2017 -0800
committer Xin Li <delphij@google.com> Mon Nov 13 14:35:23 2017 -0800
tree 72e87abb578c52a73fb90e5078022843321d9899
parent 1cb39079c2126f4f59c3cd8a55a7dee63da554d1
parent 181d62aea745f879053166502bec005be62ce8ae

Merge commit '181d62aea745f879053166502bec005be62ce8ae' into HEAD

Change-Id: Id969e9b5d7bcf28a0346e95deae2ef9ec41b3477

src/com/hp/creals/CR.java

diff --git a/src/com/hp/creals/CR.java b/src/com/hp/creals/CR.java
index de89faf..d051050 100644
--- a/src/com/hp/creals/CR.java
+++ b/src/com/hp/creals/CR.java
@@ -109,6 +109,7 @@
 // Don't negate argument and compute inverse for exp(). That causes severe
 // performance problems for (-huge).exp()
 // hboehm@google.com 8/21/2017
+// Have comparison check for interruption. hboehm@google.com 10/31/2017
 
 package com.hp.creals;
 
@@ -513,6 +514,9 @@
             check_prec(a);
             int result = compareTo(x, a);
             if (0 != result) return result;
+            if (Thread.interrupted() || please_stop) {
+                throw new AbortedException();
+            }
         }
       }
 
@@ -542,6 +546,9 @@
             check_prec(a);
             int result = signum(a);
             if (0 != result) return result;
+            if (Thread.interrupted() || please_stop) {
+                throw new AbortedException();
+            }
         }
       }