update CtrlC + param names
git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@851 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
parent
172da7fd44
commit
fbe28cc8ba
2 changed files with 3 additions and 3 deletions
|
|
@ -110,7 +110,7 @@ eoContinue<MOEOT> & do_make_continue_moeo(eoParser& _parser, eoState& _state, eo
|
|||
// the CtrlC interception (Linux only I'm afraid)
|
||||
eoCtrlCContinue<MOEOT> *ctrlCCont;
|
||||
eoValueParam<bool>& ctrlCParam = _parser.createParam(true, "CtrlC", "Terminate current generation upon Ctrl C",'C', "Stopping criterion");
|
||||
if (_parser.isItThere(ctrlCParam))
|
||||
if (ctrlCParam.value())
|
||||
{
|
||||
ctrlCCont = new eoCtrlCContinue<MOEOT>;
|
||||
// store
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue