From 1224be2008ce7116ab0e7cc49aa99cabdf853bbf Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 29 May 2011 17:32:37 +0000
Subject: more gui code tweaking

---
 src/gui/debate.cc | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src/gui/debate.cc')

diff --git a/src/gui/debate.cc b/src/gui/debate.cc
index ba58c522..24608c0f 100644
--- a/src/gui/debate.cc
+++ b/src/gui/debate.cc
@@ -38,8 +38,12 @@ namespace OpenAxiom {
    static void
    start_interpreter(Conversation* conv) {
       QStringList args;
-      args << "--no-server" << "--role=slave";
+      args << "--no-server" << "--role=server";
       conv->oracle()->start("open-axiom",args);
+      // When invoked in a --role=server mode, OpenAxiom would
+      // wait to be pinged before displayed a prompt.  This is
+      // an unfortunate result of a rather awkward hack.
+      conv->submit_query("");
    }
 
    Debate::Debate(QWidget* parent)
-- 
cgit v1.2.3