Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix reading the number argument from config file (#923)
* Fix reading the number argument from config file When passing the "number" option from the INI file we did not take into account to store its value as an integer (when that value is not None). Resolves: #922 * Implement a cleaner fix We use the "or" boolean operation to have a cleaner implementation of the solution.
- Loading branch information