summaryrefslogtreecommitdiff
path: root/src/main/command_executor_portfolio.cpp
diff options
context:
space:
mode:
authorKshitij Bansal <kshitij@cs.nyu.edu>2012-11-27 21:31:46 +0000
committerKshitij Bansal <kshitij@cs.nyu.edu>2012-11-27 21:31:46 +0000
commit551d1d37fe9c8ec25ddeac1e37b68d39158378ea (patch)
tree5507dd24bfb94349bdaf6ad9afb7dd5c44d3455c /src/main/command_executor_portfolio.cpp
parent49da3204bbb10fbcd87923428f3b476ba5b57af6 (diff)
fix in CommandSequence invoke : maintain success/failure. Fixes bug 465.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
-rw-r--r--src/main/command_executor_portfolio.cpp12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index e6ff19451..5953373ff 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -198,9 +198,9 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
Command* cmdExported =
d_lastWinner == 0 ?
cmd : cmd->exportTo(d_exprMgrs[d_lastWinner], *(d_vmaps[d_lastWinner]) );
- int ret = smtEngineInvoke(d_smts[d_lastWinner],
- cmdExported,
- d_threadOptions[d_lastWinner][options::out]);
+ bool ret = smtEngineInvoke(d_smts[d_lastWinner],
+ cmdExported,
+ d_threadOptions[d_lastWinner][options::out]);
if(d_lastWinner != 0) delete cmdExported;
return ret;
} else if(mode == 1) { // portfolio
@@ -310,9 +310,9 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
Command* cmdExported =
d_lastWinner == 0 ?
cmd : cmd->exportTo(d_exprMgrs[d_lastWinner], *(d_vmaps[d_lastWinner]) );
- int ret = smtEngineInvoke(d_smts[d_lastWinner],
- cmdExported,
- d_threadOptions[d_lastWinner][options::out]);
+ bool ret = smtEngineInvoke(d_smts[d_lastWinner],
+ cmdExported,
+ d_threadOptions[d_lastWinner][options::out]);
if(d_lastWinner != 0) delete cmdExported;
return ret;
} else {
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback