diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-07 09:59:01 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-07 09:59:01 +0000 |
| commit | 6ad13dc149389966b6cb15fc93d033a84360e5b7 (patch) | |
| tree | 79370d3236f0d5da07b4692ea3eed7e4fa6f8479 /src/gui | |
| parent | 49fd743cdd366cecf656e6c75c648e3db8a9590f (diff) | |
| download | open-axiom-6ad13dc149389966b6cb15fc93d033a84360e5b7.tar.gz | |
* gui/debate.cc (start_interpreter): Do not forget core command
line options. Separate them from options to the base Lisp runtime
system.
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/debate.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/gui/debate.cc b/src/gui/debate.cc index 407d3208..68d4ee3f 100644 --- a/src/gui/debate.cc +++ b/src/gui/debate.cc @@ -38,9 +38,11 @@ namespace OpenAxiom { static void start_interpreter(Conversation* conv, Command& cmd) { QStringList args; - args << "--" << "--role=server"; for (int i = 0; i < cmd.rt_args.size(); ++i) - args << cmd.rt_args[i]; + args << cmd.rt_args[i]; + args << "--" << "--role=server"; + for (int i = 1; i < cmd.core.argc; ++i) + args << cmd.core.argv[i]; conv->oracle()->start(make_path_for(cmd.root_dir, core_driver), args); // When invoked in a --role=server mode, OpenAxiom would // wait to be pinged before displayed a prompt. This is |