Fixed bug: -- was not stopping option processing

This commit is contained in:
John Wiegley 2009-02-22 18:36:54 -04:00
parent 6777a8f33b
commit 25d62b63a2

View file

@ -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++;