From 25d62b63a27d6af9a7724c468d8940b744601252 Mon Sep 17 00:00:00 2001 From: John Wiegley Date: Sun, 22 Feb 2009 18:36:54 -0400 Subject: Fixed bug: -- was not stopping option processing --- src/global.cc | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src/global.cc') diff --git a/src/global.cc b/src/global.cc index e5972efd..3416a3d4 100644 --- a/src/global.cc +++ b/src/global.cc @@ -143,9 +143,11 @@ void global_scope_t::execute_command(strings_list args, bool at_repl) session().set_flush_on_next_data_file(true); // Process the command verb, arguments and options - args = read_command_arguments(report(), args); - if (args.empty()) - return; + if (at_repl) { + args = read_command_arguments(report(), args); + if (args.empty()) + return; + } strings_list::iterator arg = args.begin(); string verb = *arg++; -- cgit v1.2.3