Redirect Yao evaluator output to file if requested.

2026-01-10 22:17:57 -05:00 · 2021-10-01 15:58:06 +10:00
parent e0c853918e
commit 176af7898c
1 changed files with 5 additions and 1 deletions
--- a/Tools/SwitchableOutput.h
+++ b/Tools/SwitchableOutput.h
@@ -17,13 +17,17 @@ class SwitchableOutput
 public:
    SwitchableOutput(bool on = true)
    {
+        activate(false);
        activate(on);
    }

    void activate(bool on)
    {
        if (on)
-            out = &cout;
+        {
+            if (out == 0)
+                out = &cout;
+        }
        else
            out = 0;
    }