diff options
Diffstat (limited to 'src/gui/debate.cc')
-rw-r--r-- | src/gui/debate.cc | 6 |
1 files changed, 5 insertions, 1 deletions
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) |