more gui codes

1 files changed, 8 insertions, 0 deletions

diff --git a/src/gui/debate.C b/src/gui/debate.C
index 50c6891a..ba58c522 100644
--- a/src/gui/debate.C
+++ b/src/gui/debate.C
@@ -35,6 +35,13 @@
 
 namespace OpenAxiom {
 
+   static void
+   start_interpreter(Conversation* conv) {
+      QStringList args;
+      args << "--no-server" << "--role=slave";
+      conv->oracle()->start("open-axiom",args);
+   }
+
    Debate::Debate(QWidget* parent)
          : QScrollArea(parent), conv(*this) {
       setWidget(&conv);
@@ -44,6 +51,7 @@ namespace OpenAxiom {
       setVerticalScrollBarPolicy(Qt::ScrollBarAsNeeded);
       setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOn);
       adjustSize();
+      start_interpreter(exchanges());
    }
 
    Debate::~Debate() { }