mirror of
git://git.savannah.nongnu.org/eliot.git
synced 2024-12-25 21:59:30 +01:00
Settings: fix a typo (wrong setting type)
This commit is contained in:
parent
33214c62b2
commit
adc60c868f
1 changed files with 1 additions and 1 deletions
|
@ -282,7 +282,7 @@ Settings::Settings()
|
|||
copySetting<int>(tmpConf, *m_conf, "arbitration.solo-value");
|
||||
copySetting<int>(tmpConf, *m_conf, "arbitration.penalty-value");
|
||||
copySetting<int>(tmpConf, *m_conf, "arbitration.warnings-limit");
|
||||
copySetting<int>(tmpConf, *m_conf, "topping.elapsed-penalty");
|
||||
copySetting<bool>(tmpConf, *m_conf, "topping.elapsed-penalty");
|
||||
copySetting<int>(tmpConf, *m_conf, "topping.timeout-penalty");
|
||||
}
|
||||
catch (const std::exception &e)
|
||||
|
|
Loading…
Reference in a new issue