This used to have multiple values, but is currently only checked for true/false. Reflect that in the type. Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>
Another relatively easily converted part of the code. Signed-off-by: Berthold Stoeger <bstoeger@mail.tuwien.ac.at>