diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-26 00:47:55 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-26 00:50:14 -0400 |
| commit | 4746a045ce8dd0b3155610652e0fcdf341b0f759 (patch) | |
| tree | ac73899544d0860bce688e1ae4b6b7de49cf1812 /src/main/command_executor.cpp | |
| parent | c5970b88e4334146fe142fa1644a2a36049a6448 (diff) | |
Potential fix for bug 573.
Diffstat (limited to 'src/main/command_executor.cpp')
| -rw-r--r-- | src/main/command_executor.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/command_executor.cpp b/src/main/command_executor.cpp index 5dc10a473..028a23f01 100644 --- a/src/main/command_executor.cpp +++ b/src/main/command_executor.cpp @@ -69,7 +69,7 @@ bool CommandExecutor::doCommand(Command* cmd) bool status = true; for(CommandSequence::iterator subcmd = seq->begin(); - status && subcmd != seq->end(); + (status || d_options[options::continuedExecution]) && subcmd != seq->end(); ++subcmd) { status = doCommand(*subcmd); } |