diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-05-29 17:32:37 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-05-29 17:32:37 +0000 |
| commit | 1224be2008ce7116ab0e7cc49aa99cabdf853bbf (patch) | |
| tree | 94d9d1f3ed8a957978e31b1a30b03d1fbf2293b8 /src/gui/debate.cc | |
| parent | 33d71198a65f2c45274a15408223113770d4042c (diff) | |
| download | open-axiom-1224be2008ce7116ab0e7cc49aa99cabdf853bbf.tar.gz | |
more gui code tweaking
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) |