From 51dc95519adc260f16c6838a70052451b3b69702 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Fri, 28 Oct 2016 15:16:35 +0200
Subject: [PATCH] Interrupt isn't only scoped to Inox
---
src/main/scala/inox/utils/InterruptManager.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/inox/utils/InterruptManager.scala b/src/main/scala/inox/utils/InterruptManager.scala
index f00d1e9a4..dc34529ea 100644
--- a/src/main/scala/inox/utils/InterruptManager.scala
+++ b/src/main/scala/inox/utils/InterruptManager.scala
@@ -21,7 +21,7 @@ class InterruptManager(reporter: Reporter) extends Interruptible {
def now(): Long = System.currentTimeMillis()
reporter.info("")
if (now() - lastTimestamp.get < exitWindow) {
- reporter.warning("Aborting Inox...")
+ reporter.warning("Aborting...")
System.exit(1)
}
else {
--
GitLab