From f39979c6d3e49b09aa82fea5e167d4253f63d71f Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Fri, 17 Jul 2015 11:33:39 +0200 Subject: [PATCH] Make printValue() interruptible Fixes #572. --- src/libexpr/eval.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/libexpr/eval.cc b/src/libexpr/eval.cc index d61ee7e80..7b74d99b1 100644 --- a/src/libexpr/eval.cc +++ b/src/libexpr/eval.cc @@ -63,6 +63,8 @@ void Bindings::sort() static void printValue(std::ostream & str, std::set & active, const Value & v) { + checkInterrupt(); + if (active.find(&v) != active.end()) { str << ""; return;