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 | |
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.
-rw-r--r-- | src/ChangeLog | 6 | ||||
-rw-r--r-- | src/gui/debate.cc | 6 |
2 files changed, 10 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index a8fbefa4..2311918b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2011-07-07 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * gui/debate.cc (start_interpreter): Do not forget core command + line options. Separate them from options to the base Lisp runtime + system. + 2011-07-05 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/br-util.boot ($charUnderscore): Move to br-search.boot 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 |