diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-07-17 11:33:39 +0200 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-07-17 11:33:39 +0200 |
| commit | f39979c6d3e49b09aa82fea5e167d4253f63d71f (patch) | |
| tree | ef7fb489fac6c33381c80f3670df96c634869826 | |
| parent | 7c9d0a596961bbb74b5b2c29cc3d8f2608e45d83 (diff) | |
Make printValue() interruptible
Fixes #572.
| -rw-r--r-- | src/libexpr/eval.cc | 2 |
1 files changed, 2 insertions, 0 deletions
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<const Value *> & active, const Value & v) { + checkInterrupt(); + if (active.find(&v) != active.end()) { str << "<CYCLE>"; return; |