From 57bb42fcbafb13eedf8c1c4d2310a937c180db3f Mon Sep 17 00:00:00 2001
From: Etienne Kneuss <colder@php.net>
Date: Thu, 10 Oct 2013 17:11:56 +0200
Subject: [PATCH] Do not register signal handlers when building options
---
src/main/scala/leon/Main.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/leon/Main.scala b/src/main/scala/leon/Main.scala
index 2e27856cb..3a23a33e4 100644
--- a/src/main/scala/leon/Main.scala
+++ b/src/main/scala/leon/Main.scala
@@ -177,8 +177,6 @@ object Main {
val intManager = new InterruptManager(reporter)
- intManager.registerSignalHandler()
-
LeonContext(settings = settings,
reporter = reporter,
files = files,
@@ -215,6 +213,8 @@ object Main {
val ctx = processOptions(args.toList)
+ ctx.interruptManager.registerSignalHandler()
+
ctx.timers.get("Leon Opts") += timer
// Compute leon pipeline
--
GitLab